Keyphrases
- stochastic model
- formal verification
- stochastic models
- formal methods
- asynchronous circuits
- protocol specification
- model checking
- formal specification
- distributed systems
- artificial intelligence
- machine learning
- real time
- conceptual model
- state transition
- specification language
- neural network
- colored petri nets
- stochastic nature