All for the Price of Few

DOI10.1007/978-3-642-35873-9_28zbMath1426.68160OpenAlexW1592314966MaRDI QIDQ2926658

Lukáš Holík, Frédéric Haziza, Parosh Aziz Abdulla

Publication date: 3 November 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_28

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Structural Invariants for the Verification of Systems with Parameterized Architectures, Parameterized Verification of Communicating Automata under Context Bounds, Compositional Reasoning, Model Checking Parameterized Systems, Compositional verification of smart contracts through communication abstraction, Unnamed Item, Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms, Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata, Bounded Quantifier Instantiation for Checking Inductive Invariants, Reachability in Parameterized Systems: All Flavors of Threshold Automata, View abstraction for systems with component identities, Lost in abstraction: monotonicity in multi-threaded programs, Parameterized verification of monotone information systems, Unbounded-Thread Program Verification using Thread-State Equations, Parameterised verification for multi-agent systems