A verification system for interval-based specification languages.
Chunqing ChenJin Song DongJun SunAndrew P. MartinPublished in: ACM Trans. Softw. Eng. Methodol. (2010)
Keyphrases
- specification languages
- formal specification
- model checking
- object oriented programs
- concurrent systems
- formal methods
- formal verification
- first order logic
- temporal reasoning
- temporal logic
- real valued
- face verification
- verification method
- formal analysis
- temporal relations
- signature verification
- database
- false acceptance
- temporal information
- production system
- case study
- neural network