Login / Signup
Compiling Protocols to Promela and Verifying their LTL Properties.
Benjamin Lion
Samir Chouali
Farhad Arbab
Published in:
MoDELS (Workshops) (2018)
Keyphrases
</>
model checking
desirable properties
temporal logic
topological properties
data sets
real world
information retrieval
learning algorithm
search algorithm
digital libraries
deterministic automata