The following pages link to Inductive data flow graphs (Q2931789):
Displayed 9 items.
- Proof tree preserving tree interpolation (Q286737) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- A tree-based approach to data flow proofs (Q1629956) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- Verification of concurrent programs using Petri net unfoldings (Q2234071) (← links)
- Abstract semantic diffing of evolving concurrent programs (Q2322311) (← links)
- Automated Program Verification (Q2799160) (← links)
- Compositional Reasoning (Q3176370) (← links)
- What’s Decidable About Program Verification Modulo Axioms? (Q5164172) (← links)