Simulation-based verification of the MOST NetInterface specification revision 3.0.
Andreas BraunOliver BringmannDjones LettninWolfgang RosenstielPublished in: DATE (2010)
Keyphrases
- formal verification
- asynchronous circuits
- model checking
- formal methods
- protocol specification
- formal specification
- belief revision
- high level
- belief change
- neural network
- knowledge base
- specification language
- provably correct
- concurrent systems
- revision operators
- information retrieval
- conceptual model
- domain knowledge
- face verification
- face recognition
- person identification
- artificial intelligence