Verification of unit and dimensional consistencies in polychronous specifications.
Mahesh NanjundappaSandeep K. ShuklaPublished in: FDL (2014)
Keyphrases
- automated verification
- concurrent systems
- model checking
- formal verification
- bounded model checking
- model checker
- asynchronous circuits
- formal specification
- protocol specification
- delay insensitive
- multi dimensional
- high level
- constraint networks
- operational semantics
- control flow
- signature verification
- data sets
- finite state machines
- temporal logic
- person identification
- constraint satisfaction problems
- high security
- np complete
- distributed systems
- face recognition
- search engine
- neural network