Verifying Concurrent Programs by Memory Unwinding.

Ermenegildo Tomasco Omar Inverso Bernd Fischer Salvatore La Torre Gennaro Parlato

Published in: TACAS (2015)

Keyphrases

concurrent programs
model checking
concurrent programming
process algebra
concurrent processes
database systems
web applications
machine learning