Automated Verification of Reactive and Concurrent Programs by Calculation.

Simon Foster Kangfeng Ye Ana Cavalcanti Jim Woodcock

Published in: CoRR (2020)

Keyphrases

automated verification
concurrent programs
model checking
process algebra
formal verification
temporal logic
automated reasoning
formal specification
concurrent systems
asynchronous circuits
concurrent programming
web applications
high level
expert systems
graph theory