Publication:2754080
From MaRDI portal
zbMath0974.68127MaRDI QIDQ2754080
Kedar S. Namjoshi, Richard Trefler
Publication date: 11 November 2001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Automated Circular Assume-Guarantee Reasoning, Automated compositional proofs for real-time systems, Automatic symbolic compositional verification by learning assumptions, Tool support for learning Büchi automata and linear temporal logic, Theory and methodology of assumption/commitment based system interface specification and architectural contracts, Automated circular assume-guarantee reasoning, Learning Meets Verification, Automatic Synthesis of Assumptions for Compositional Model Checking
Uses Software