×

zbMATH — the first resource for mathematics

Wolff, Burkhart

Compute Distance To:
Author ID: wolff.burkhart Recent zbMATH articles by "Wolff, Burkhart"
Published as: Wolff, Burkhart; Wolff, B.
Documents Indexed: 31 Publications since 1999, including 5 Books

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 39 times in 28 Documents Cited by Year
HOL-Boogie – an interactive prover for the Boogie program-verifier. Zbl 1165.68399
Böhme, Sascha; Leino, K. Rustan M.; Wolff, Burkhart
7
2008
Unifying theories in Isabelle/HOL. Zbl 1309.68045
Feliachi, Abderrahmane; Gaudel, Marie-Claude; Wolff, Burkhart
5
2010
HOL-Boogie – an interactive prover-backend for the verifying C compiler. Zbl 1185.68211
Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart
5
2010
Building formal method tools in the Isabelle/Isar framework. Zbl 1144.68369
Wenzel, Makarius; Wolff, Burkhart
5
2007
An extensible encoding of object-oriented data models in HOL. With an application to IMP++. Zbl 1191.68619
Brucker, Achim D.; Wolff, Burkhart
3
2008
Assisted proof document authoring. Zbl 1151.68658
Aspinall, David; Lüth, Christoph; Wolff, Burkhart
3
2006
Verifying a signature architecture: a comparative case study. Zbl 1111.68075
Basin, David; Kuruma, Hironobu; Miyazaki, Kunihiko; Takaragi, Kazuo; Wolff, Burkhart
3
2007
Proving fairness and implementation correctness of a microkernel scheduler. Zbl 1191.68409
Daum, Matthias; Dörrenbächer, Jan; Wolff, Burkhart
2
2009
Test-sequence generation with Hol-TestGen with an application to firewall testing. Zbl 1196.68043
Brucker, Achim D.; Wolff, Burkhart
2
2007
Verification of a signature architecture with HOL-Z. Zbl 1120.68407
Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
2
2005
On theorem prover-based testing. Zbl 1298.68251
Brucker, Achim D.; Wolff, Burkhart
1
2013
Symbolic test case generation for primitive recursive functions. Zbl 1081.68672
Brucker, Achim D.; Wolff, Burkhart
1
2005
On theorem prover-based testing. Zbl 1298.68251
Brucker, Achim D.; Wolff, Burkhart
1
2013
Unifying theories in Isabelle/HOL. Zbl 1309.68045
Feliachi, Abderrahmane; Gaudel, Marie-Claude; Wolff, Burkhart
5
2010
HOL-Boogie – an interactive prover-backend for the verifying C compiler. Zbl 1185.68211
Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart
5
2010
Proving fairness and implementation correctness of a microkernel scheduler. Zbl 1191.68409
Daum, Matthias; Dörrenbächer, Jan; Wolff, Burkhart
2
2009
HOL-Boogie – an interactive prover for the Boogie program-verifier. Zbl 1165.68399
Böhme, Sascha; Leino, K. Rustan M.; Wolff, Burkhart
7
2008
An extensible encoding of object-oriented data models in HOL. With an application to IMP++. Zbl 1191.68619
Brucker, Achim D.; Wolff, Burkhart
3
2008
Building formal method tools in the Isabelle/Isar framework. Zbl 1144.68369
Wenzel, Makarius; Wolff, Burkhart
5
2007
Verifying a signature architecture: a comparative case study. Zbl 1111.68075
Basin, David; Kuruma, Hironobu; Miyazaki, Kunihiko; Takaragi, Kazuo; Wolff, Burkhart
3
2007
Test-sequence generation with Hol-TestGen with an application to firewall testing. Zbl 1196.68043
Brucker, Achim D.; Wolff, Burkhart
2
2007
Assisted proof document authoring. Zbl 1151.68658
Aspinall, David; Lüth, Christoph; Wolff, Burkhart
3
2006
Verification of a signature architecture with HOL-Z. Zbl 1120.68407
Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
2
2005
Symbolic test case generation for primitive recursive functions. Zbl 1081.68672
Brucker, Achim D.; Wolff, Burkhart
1
2005

Citations by Year