A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.
Tuba Yavuz-KahveciTevfik BultanPublished in: Int. J. Softw. Tools Technol. Transf. (2003)
Keyphrases
- data types
- reactive systems
- automated verification
- model checking
- temporal logic
- formal verification
- data model
- database systems
- data structure
- database management systems
- formal specification
- formal methods
- user defined
- high level
- automated reasoning
- petri net
- abstract data types
- similarity measure
- real time
- artificial intelligence