Verifying Optimizations for Concurrent Programs.

William Mansky Elsa L. Gunter

Published in: WPTE@RTA/TLCA (2014)

Keyphrases

concurrent programs
process algebra
model checking
concurrent programming
concurrent processes
formal specification
databases
real time
artificial intelligence
high level
object oriented
response time
web applications
building blocks
asynchronous circuits