Computer Aided Verification

DOI10.1007/B138445zbMath1081.68572OpenAlexW2507913385MaRDI QIDQ5716562

Roderick Bloem, Andreas Griesmayer, Barbara Jobstmann

Publication date: 10 January 2006

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

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

Mathematics Subject Classification ID

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

Related Items (21)

Parameterized Weighted Containment ⋮ MR4UM: a framework for adding fault tolerance to UML state diagrams ⋮ Model and program repair via group actions ⋮ Automated program repair using formal verification techniques ⋮ Finding and fixing faults ⋮ Program synthesis for interactive-security systems ⋮ Optimal repair for omega-regular properties ⋮ Synthesis of Reactive(1) designs ⋮ Strategy construction for parity games with imperfect information ⋮ Program Repair for Hyperproperties ⋮ Automation of fault-tolerant graceful degradation ⋮ Specification-Based Program Repair Using SAT ⋮ Model Repair for Probabilistic Systems ⋮ Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation ⋮ Towards Parallel Boolean Functional Synthesis ⋮ Visibly pushdown modular games ⋮ Inferring Synchronization under Limited Observability ⋮ Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice ⋮ Two AGM-style characterizations of model repair ⋮ Program repair without regret ⋮ The complexity of automated addition of fault-tolerance without explicit legitimate states

This page was built for publication: Computer Aided Verification