An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications.
Takenobu AoshimaKenji SakumaNaoki YonezakiPublished in: IWPSE (2001)
Keyphrases
- model checking
- reactive systems
- automated verification
- concurrent systems
- formal verification
- bounded model checking
- asynchronous circuits
- formal specification
- distributed systems
- information systems
- delay insensitive
- neural network
- iterative procedure
- decision support
- decision making
- information retrieval
- machine learning