Sign in
: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.
David Sanán
Yongwang Zhao
Shang-Wei Lin
Yang Liu
Published in:
ACM Trans. Program. Lang. Syst. (2021)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
model checking
petri net
transition systems
formal specification
high level
real time
relational databases
building blocks
database
information systems
formal methods