Towards compositional verification of synchronous reactive systems.
Sarah ChabaneRabéa Ameur-BoulifaMezghiche MohamedPublished in: Int. J. Crit. Comput. Based Syst. (2021)
Keyphrases
- reactive systems
- model checking
- formal methods
- temporal logic
- formal verification
- formal specification
- information flow
- verification method
- concurrent systems
- control flow
- artificial intelligence
- petri net
- state machines
- knowledge based systems
- information systems
- real time
- intelligent agents
- signature verification
- decision making
- asynchronous communication