The following pages link to Peter Lammich (Q682349):
Displayed 27 items.
- Formal verification of an executable LTL model checker with partial order reduction (Q682350) (← links)
- A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL (Q1722647) (← links)
- Refinement to imperative HOL (Q1739909) (← links)
- For a few dollars more. Verified fine-grained algorithm analysis down to LLVM (Q2233462) (← links)
- Verified model checking of timed automata (Q2324206) (← links)
- Automatic refinement to efficient data structures: a comparison of two approaches (Q2417948) (← links)
- Formalizing the Edmonds-Karp Algorithm (Q2829260) (← links)
- Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm (Q2879261) (← links)
- Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm (Q2914741) (← links)
- Refinement to Imperative/HOL (Q2945637) (← links)
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (Q3075482) (← links)
- (Q3172801) (← links)
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (Q3522072) (← links)
- Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures (Q3525644) (← links)
- Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints (Q3636879) (← links)
- (Q4994705) (← links)
- Efficient Verified Implementation of Introsort and Pdqsort (Q5049010) (← links)
- Automatic Data Refinement (Q5327338) (← links)
- Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (Q5408535) (← links)
- The Isabelle Collections Framework (Q5747660) (← links)
- (Q5875428) (← links)
- (Q5875431) (← links)
- (Q5875432) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
- Efficient verified (UN)SAT certificate checking (Q5920089) (← links)
- Bounded-Deducibility Security (Invited Paper) (Q6157243) (← links)