Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393zbMath1126.68343OpenAlexW4299869287MaRDI QIDQ5308424

No author found.

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Conway Games, Coalgebraically ⋮ Verifying annotated program families using symbolic game semantics ⋮ Leafy automata for higher-order concurrency ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Third-order Idealized Algol with iteration is decidable ⋮ Functions with local state: regularity and undecidability ⋮ Unnamed Item ⋮ Full Abstraction for Reduced ML ⋮ Compositional Predicate Abstraction from Game Semantics ⋮ On-the-Fly Techniques for Game-Based Software Model Checking ⋮ Syntactic control of concurrency

Uses Software

• SLAM
• Bandera
• MOCHA

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems