Combining CTL, Trace Theory and Timing Models.
Jerry R. BurchPublished in: Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
- computational models
- probabilistic model
- mathematical models
- experimental data
- information retrieval
- prior knowledge
- complex systems
- statistical model
- theoretical developments
- real time
- formal models
- mathematical framework
- classification models
- temporal logic
- statistical models
- theoretical framework
- logic programs
- artificial neural networks
- neural network