scientific article; zbMATH DE number 1487860

zbMath0960.68110MaRDI QIDQ4494387

No author found.

Publication date: 4 January 2001

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

zbMATH Keywords

model-checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Model checking learning agent systems using Promela with embedded C code and abstraction ⋮ Inference of Field-Sensitive Reachability and Cyclicity ⋮ A state/event-based model-checking approach for the analysis of abstract system properties ⋮ A planner agent that tries its best in presence of nondeterminism ⋮ A formal model for service-oriented interactions ⋮ Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ Generative program analysis and beyond: the power of domain-specific languages (invited paper) ⋮ Applying model-checking to solve queries on semistructured data ⋮ Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta. ⋮ Quality Engineering: Leveraging Heterogeneous Information ⋮ Formal Sequentialization of Distributed Systems via Program Rewriting ⋮ Compositional verification of asynchronous concurrent systems using CADP

This page was built for publication: