scientific article

zbMath0974.68127MaRDI QIDQ2754080

Kedar S. Namjoshi, Richard Trefler

Publication date: 11 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Assume, Guarantee or Repair ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Automated circular assume-guarantee reasoning ⋮ Automated compositional proofs for real-time systems ⋮ Automated program repair using formal verification techniques ⋮ Learning Meets Verification ⋮ Automatic symbolic compositional verification by learning assumptions ⋮ Automatic Synthesis of Assumptions for Compositional Model Checking ⋮ Automated Circular Assume-Guarantee Reasoning ⋮ Tool support for learning Büchi automata and linear temporal logic

Uses Software

• CESAR

This page was built for publication: