Formal Verification of an Array-Based Nonblocking Queue.
Robert ColvinLindsay GrovesPublished in: ICECCS (2005)
Keyphrases
- formal verification
- model checking
- automated verification
- model checker
- queue length
- bounded model checking
- steady state
- symbolic model checking
- markov chain
- arrival rate
- program slicing
- temporal logic
- queueing theory
- continuous queries
- priority scheduling
- functional verification
- expert systems
- hazard rate
- queueing networks
- software development