Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols

DOI10.1007/978-3-642-32943-2_14zbMath1362.68223OpenAlexW2120083895MaRDI QIDQ2915106

Joeri de Ruiter, David M. Williams, W. J. Fokkink

Publication date: 21 September 2012

Published in: Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32943-2_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Foundations for using linear temporal logic in Event-B refinement

Uses Software

• PVS
• CADP
• ProB
• PAT

This page was built for publication: Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols