Temporal Feasibility Verification of Specification PEARL Designs.
Roman GumzejMatjaz ColnaricWolfgang A. HalangPublished in: ISORC (2004)
Keyphrases
- formal verification
- temporal ordering
- asynchronous circuits
- linear temporal logic
- model checking
- formal methods
- temporal information
- spatio temporal
- real time
- spatial and temporal
- temporal consistency
- temporal reasoning
- data sets
- temporal relations
- colored petri nets
- database
- temporal dimension
- protocol specification
- temporal patterns
- temporal constraints
- artificial intelligence
- design space
- face verification
- temporal evolution
- temporal databases
- formal specification
- temporal characteristics
- programming language
- data model
- case study