Verification of complex systems using incremental operational specifications.
William E. HowdenDavid NesbittCheron VailBruce WieandPublished in: Inf. Sci. (1991)
Keyphrases
- complex systems
- concurrent systems
- automated verification
- model checking
- dynamic systems
- formal verification
- model checker
- bounded model checking
- asynchronous circuits
- formal specification
- mathematical models
- biological systems
- discrete event systems
- multi agent systems
- protocol specification
- manufacturing systems
- decision making
- computational systems
- steady state simulation
- physical systems
- distributed systems
- technical systems
- social networks
- artificial intelligence
- formal methods
- emergent behavior
- industrial systems
- cooperative