PERTS: an environment for specification and verification of reactive systems.
A. K. BhattacharjeeS. D. DhodapkarR. K. ShyamasundarPublished in: Reliab. Eng. Syst. Saf. (2001)
Keyphrases
- distributed systems
- reactive systems
- model checking
- real time systems
- formal methods
- temporal logic
- concurrent systems
- transition systems
- information flow
- formal verification
- petri net
- control flow
- formal specification
- machine learning
- state machines
- database
- software engineering
- user interface
- colored petri nets
- natural language