Pages that link to "Item:Q5408559"
From MaRDI portal
The following pages link to Making prophecies with decision predicates (Q5408559):
Displaying 8 items.
- Automatic analysis of DMA races using model checking and \(k\)-induction (Q763238) (← links)
- Temporal prophecy for proving temporal properties of infinite-state systems (Q2058382) (← links)
- Synthesizing precise and useful commutativity conditions (Q2208295) (← links)
- Temporal property verification as a program analysis task (Q2441713) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481) (← links)
- Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Q6488162) (← links)
- Temporal verification of programs via first-order fixpoint logic (Q6536298) (← links)