A Synchronous Effects Logic for Temporal Verification of Pure Esterel.
Yahui SongWei-Ngan ChinPublished in: VMCAI (2021)
Keyphrases
- asynchronous circuits
- circuit design
- linear temporal logic
- model checking
- verification method
- logic programming
- bounded model checking
- model checker
- classical logic
- temporal databases
- neural network
- multi valued
- temporal data
- temporal reasoning
- modal logic
- spatio temporal
- spatial and temporal
- temporal patterns
- social networks
- digital circuits
- formal verification
- temporal information
- temporal analysis
- temporal dimension
- positive effects
- temporal evolution
- temporal ordering
- artificial intelligence
- databases
- functional verification