Pages that link to "Item:Q5747660"
From MaRDI portal
The following pages link to The Isabelle Collections Framework (Q5747660):
Displayed 12 items.
- Reachability, confluence, and termination analysis with state-compatible automata (Q515687) (← links)
- Formal verification of an executable LTL model checker with partial order reduction (Q682350) (← links)
- Isabelle's metalogic: formalization and proof checker (Q2055847) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- Automatic refinement to efficient data structures: a comparison of two approaches (Q2417948) (← links)
- Refinement to Imperative/HOL (Q2945637) (← links)
- Deriving Comparators and Show Functions in Isabelle/HOL (Q2945654) (← links)
- Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments (Q3087999) (← links)
- Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
- Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism (Q3088012) (← links)
- Mining the Archive of Formal Proofs (Q3453102) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)