Modelling And Verification Of Concurrent Programs Using UPPAAL.

Franco Cicirelli Libero Nigro Francesco Pupo

Published in: ECMS (2011)

Keyphrases

concurrent programs
model checking
process algebra
model checker
temporal logic
concurrent systems
formal specification
asynchronous circuits
formal verification
formal methods
timed automata
concurrent programming
concurrent processes
databases
description language
distributed systems
web applications