Pages that link to "Item:Q1391929"
From MaRDI portal
The following pages link to Automatic generation of invariants and intermediate assertions (Q1391929):
Displaying 10 items.
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics (Q453526) (← links)
- Some ways to reduce the space dimension in polyhedra computations (Q853727) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Simplification of boolean verification conditions (Q1575276) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- Backward symbolic execution with loop folding (Q2145317) (← links)
- Computing polynomial program invariants (Q2390319) (← links)
- Subsequence Invariants (Q3541017) (← links)
- Weakest Invariant Generation for Automated Addition of Fault-Tolerance (Q5170186) (← links)
