Beyond parameterized verification
From MaRDI portal
Recommendations
- An assertional language for the verification of systems parametric in several dimensions (preliminary results)
- Model checking and abstraction to the aid of parameterized systems (a survey)
- MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
- Parametrized invariance for infinite state processes
- Monotonic Abstraction in Action
Cited in
(20)- Approximated parameterized verification of infinite-state processes with global conditions
- Logical approximation for program analysis
- Finite reasons for safety. Parameterized verification by finite model finding
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
- An approach to the verification of symmetric parameterized distributed systems
- Automatic deductive verification with invisible invariants
- Keeping a crowd safe: on the complexity of parameterized verification (invited talk)
- Parameterized verification with automatically computed inductive assertions
- An assertional language for the verification of systems parametric in several dimensions (preliminary results)
- Parametrized invariance for infinite state processes
- Multi-parameterised compositional verification of safety properties
- Parameterized Verification of Infinite-State Processes with Global Conditions
- Handling Parameterized Systems with Non-atomic Global Conditions
- Monotonic Abstraction in Action
- Data tracking in parameterized systems
- Verification, Model Checking, and Abstract Interpretation
- Parameterized verification under TSO with data types
- Abduction of trap invariants in parameterized systems
- Lost in abstraction: monotonicity in multi-threaded programs
- Verifying the SET purchase protocols
This page was built for publication: Beyond parameterized verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472240)
