The following pages link to Computer Science Logic (Q5311266):
Displaying 12 items.
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- FEVS: a functional equivalence verification suite for high-performance scientific computing (Q1949768) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- (Q3021332) (← links)
- Parameterized Verification of Communicating Automata under Context Bounds (Q3447694) (← links)
- Verifying Parameterized taDOM+ Lock Managers (Q5448673) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)
- Parameterized verification under TSO with data types (Q6535379) (← links)