Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude.
Duong Dinh TranKazuhiro OgataSantiago EscobarSedat AkleylekAyoub OtmaniPublished in: FAVPQC@ICFEM (2022)
Keyphrases
- formal specification
- model checking
- temporal logic
- process algebra
- formal verification
- model checker
- specification language
- concurrent systems
- temporal properties
- formal methods
- automated verification
- verification method
- timed automata
- symbolic model checking
- epistemic logic
- reactive systems
- computation tree logic
- transition systems
- bounded model checking
- query language
- database
- alternating time temporal logic
- object oriented databases
- planning problems
- software architecture
- knowledge representation
- database systems