Login / Signup

Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving.

Pedro AntoninoThomas Gibson-RobinsonA. W. Roscoe
Published in: ACM Trans. Softw. Eng. Methodol. (2019)
Keyphrases
  • concurrent systems
  • model checking
  • distributed systems
  • information systems
  • formal specification