Specification and verification of real-time systems using POLA.
Florent PeresPierre-Emmanuel HladikFrançois VernadatPublished in: Int. J. Crit. Comput. Based Syst. (2011)
Keyphrases
- real time systems
- formal verification
- asynchronous circuits
- reactive systems
- real time
- formal methods
- model checking
- protocol specification
- embedded systems
- distributed systems
- real time database systems
- formal specification
- object oriented programming language
- timing constraints
- mission critical
- real time embedded
- high level
- colored petri nets
- concurrent systems
- artificial intelligence
- active rules
- specification language
- architectural model
- web services
- embedded real time systems