Towards Verifying Declarative Specifications of Reactive Systems.
Tae KamedaOsamu AraiSergei GorlatchHamido FujitaPublished in: SoMeT (2008)
Keyphrases
- reactive systems
- model checking
- temporal logic
- formal methods
- formal specification
- information flow
- transition systems
- formal specification language
- control flow
- petri net
- finite state machines
- knowledge representation
- state machines
- training data
- database
- intelligent agents
- computer systems
- high level
- case study
- real time