On the Verification of Concurrent, Asynchronous Programs with Waiting Queues.
Gilles GeeraertsAlexander HeußnerJean-François RaskinPublished in: ACM Trans. Embed. Comput. Syst. (2015)
Keyphrases
- waiting times
- single server
- asynchronous circuits
- symbolic execution
- retrial queue
- queue length
- hardware designs
- model checking
- database
- fingerprint verification
- concurrent programs
- queueing networks
- computer programs
- special case
- queueing systems
- signature verification
- verification method
- formal verification
- hierarchical reinforcement learning
- java bytecode
- concurrent programming
- online discussion