scientific article
From MaRDI portal
Publication:2754080
zbMath0974.68127MaRDI QIDQ2754080
Kedar S. Namjoshi, Richard Trefler
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
This page was built for publication: