The following pages link to All for the Price of Few (Q2926658):
Displayed 15 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Parameterized verification of monotone information systems (Q1798673) (← links)
- View abstraction for systems with component identities (Q2024368) (← links)
- Compositional verification of smart contracts through communication abstraction (Q2145351) (← links)
- Unbounded-Thread Program Verification using Thread-State Equations (Q2817949) (← links)
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (Q2961576) (← links)
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Bounded Quantifier Instantiation for Checking Inductive Invariants (Q3303891) (← links)
- Parameterized Verification of Communicating Automata under Context Bounds (Q3447694) (← links)
- Reachability in Parameterized Systems: All Flavors of Threshold Automata (Q5009433) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- (Q5240148) (← links)