PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310].
A. K. BhattacharjeeS. D. DhodapkarR. K. ShyamasundarPublished in: Reliab. Eng. Syst. Saf. (2001)
Keyphrases
- reactive systems
- model checking
- formal methods
- temporal logic
- safety critical
- transition systems
- formal verification
- petri net
- information flow
- software engineering
- formal specification
- real time systems
- control flow
- concurrent systems
- artificial intelligence
- knowledge based systems
- knowledge base
- state machines
- real time
- computer science
- multi agent
- case study
- asynchronous circuits