Immutable specifications for more concise and precise verification.
Cristina DavidWei-Ngan ChinPublished in: OOPSLA (2011)
Keyphrases
- concurrent systems
- automated verification
- formal verification
- model checking
- asynchronous circuits
- bounded model checking
- model checker
- formal specification
- delay insensitive
- high level
- protocol specification
- formal methods
- specification language
- temporal logic
- petri net
- verification method
- data sets
- fingerprint verification
- reactive systems
- concise representation
- metadata
- false acceptance rate
- information systems
- artificial intelligence
- databases