Design of the real time systems using temporal logic specifications: a case study.
Anatol UrsuV. DubenetskyGabriela GruitaPublished in: Comput. Sci. J. Moldova (1996)
Keyphrases
- temporal logic
- real time systems
- reactive systems
- model checking
- formal specification language
- concurrent systems
- model checker
- case study
- embedded systems
- real time embedded
- bounded model checking
- real time
- software architecture
- transition systems
- formal verification
- formal methods
- data model
- architectural model
- formal specification
- distributed systems
- low cost
- control flow
- software systems
- reinforcement learning
- database systems
- dynamic constraints
- description language
- knowledge based systems