Distributed Analysis with mu CRL: A Compendium of Case Studies
Abstract elided by the publisher.
Related papers
- Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems PPoPP 1997
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study GPCE 2011
- Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study CAV 1992
- Bounded Fixed Point Iteration POPL 1992
- Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs GPCE 2018
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study CAV 1995
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures CAV 2022