Pages that link to "Item:Q5898614"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898614):
Displayed 16 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
- Parameterized verification of monotone information systems (Q1798673) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Compositional verification of smart contracts through communication abstraction (Q2145351) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Automatic Verification of Directory-Based Consistency Protocols (Q3646250) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
- The Spotlight Principle (Q5452606) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319) (← links)