Specification Enforcing Refinement for Convertibility Verification.
Partha S. RoopAlain GiraultRoopak SinhaGregor GoesslerPublished in: ACSD (2009)
Keyphrases
- formal verification
- asynchronous circuits
- model checking
- formal methods
- protocol specification
- formal specification
- machine learning
- colored petri nets
- high level
- multi agent systems
- verification method
- temporal logic
- global consistency
- singleton arc consistency
- data sets
- temporal ordering
- face verification
- object oriented
- case study
- information systems
- learning algorithm
- real world