Coalgebraic Component Specification and Verification in RSL.
Sun MengBernhard K. AichernigZhang NaixiaoPublished in: PDCAT (2005)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- high level
- computer vision
- database systems
- temporal logic
- formal specification
- artificial intelligence
- verification method
- data sets
- image sequences
- face recognition
- object oriented
- genetic algorithm
- information retrieval
- colored petri nets
- linear temporal logic
- functional verification