Pages that link to "Item:Q3189807"
From MaRDI portal
The following pages link to Proving that programs eventually do something good (Q3189807):
Displaying 12 items.
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Temporal property verification as a program analysis task (Q2441713) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- Proving Stabilization of Biological Systems (Q3075477) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Streett Automata Model Checking of Higher-Order Recursion Schemes (Q5111330) (← links)
- Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481) (← links)
- Multiphase-linear ranking functions and their relation to recurrent sets (Q6536301) (← links)
- An overview of the HFL model checking project (Q6647298) (← links)
- Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification (Q6661749) (← links)