The following pages link to Burkhart Wolff (Q470024):
Displaying 28 items.
- On theorem prover-based testing (Q470025) (← links)
- Proving fairness and implementation correctness of a microkernel scheduler (Q835766) (← links)
- Verifying a signature architecture: a comparative case study (Q877156) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing (Q1683463) (← links)
- Using the Isabelle ontology framework -- linking the formal with the informal (Q1798941) (← links)
- On the semantics of polychronous polytimed specifications (Q1996008) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler (Q2655335) (← links)
- (Q2754057) (← links)
- Monadic Sequence Testing and Explicit Test-Refinements (Q2827440) (← links)
- Infeasible Paths Elimination by Symbolic Execution Techniques (Q2829242) (← links)
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems (Q2843039) (← links)
- Unifying Theories in Isabelle/HOL (Q3055747) (← links)
- Building Formal Method Tools in the Isabelle/Isar Framework (Q3523187) (← links)
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier (Q3543656) (← links)
- Functional design and implementation of graphical user interfaces for theorem provers (Q4267722) (← links)
- (Q4411046) (← links)
- (Q4435460) (← links)
- (Q4484335) (← links)
- (Q4490374) (← links)
- (Q4934539) (← links)
- Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (Q5423867) (← links)
- Formal Approaches to Software Testing (Q5710649) (← links)
- FM 2005: Formal Methods (Q5716881) (← links)
- Types for Proofs and Programs (Q5897608) (← links)
- Mathematical Knowledge Management (Q5898512) (← links)
- A structure preserving encoding of Z in Isabelle/HOL (Q6567720) (← links)
