Inductive Temporal Formula Specifications for System Verification.
Chikatoshi YamadaYasunori NagataZensho NakaoPublished in: J. Adv. Comput. Intell. Intell. Informatics (2005)
Keyphrases
- linear temporal logic
- bounded model checking
- model checking
- automated verification
- concurrent systems
- temporal logic
- model checker
- formal verification
- inductive learning
- asynchronous circuits
- temporal constraints
- spatio temporal
- temporal information
- temporal data
- spatial and temporal
- recursive programs
- machine learning
- temporal reasoning
- formal specification
- high level
- temporal consistency
- space time
- knowledge representation
- inductive logic programming
- protocol specification
- neural network
- information systems
- video sequences
- delay insensitive
- temporal patterns
- temporal analysis
- temporal dimension
- temporal evolution
- temporal relations
- finite state machines