Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.
Rik EshuisDavid N. JansenRoel J. WieringaPublished in: Requir. Eng. (2002)
Keyphrases
- model checking
- model checker
- object oriented
- epistemic logic
- temporal logic
- process algebra
- reactive systems
- formal methods
- formal specification
- formal verification
- automated verification
- temporal properties
- alternating time temporal logic
- symbolic model checking
- verification method
- transition systems
- bounded model checking
- specification language
- concurrent systems
- computation tree logic
- finite state machines
- programming language
- formal semantics
- timed automata
- reachability analysis
- object oriented databases
- linear temporal logic
- software engineering
- logical framework
- asynchronous circuits
- data model