Certificate Translation for the Verification of Concurrent Programs.

Published in: TGC (2010)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
asynchronous circuits
formal methods
machine translation
temporal logic
concurrent programming
web applications
concurrent processes
formal specification
database systems
database
relational databases
end users