On the Correctness of Operating System Kernels
Gargano, Mauro, Hillebrand, Mark, Leinenbach, Dirk, Paul, Wolfgang
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Balancing the LoadLeveraging a Semantics Stack for Systems Verification
Alkassar, Eyad, Hillebrand, Mark A, Leinenbach, Dirk C, Schirmer, Norbert W, Starostin, Artem, Tsyban, Alexandra
Published in Journal of automated reasoning (01.04.2009)
Published in Journal of automated reasoning (01.04.2009)
Get full text
Journal Article
Pervasive Compiler Verification – From Verified Programs to Verified Systems
Leinenbach, Dirk, Petrova, Elena
Published in Electronic notes in theoretical computer science (21.07.2008)
Published in Electronic notes in theoretical computer science (21.07.2008)
Get full text
Journal Article
The Verisoft Approach to Systems Verification
Alkassar, Eyad, Hillebrand, Mark A., Leinenbach, Dirk, Schirmer, Norbert W., Starostin, Artem
Published in Verified Software (2008)
Published in Verified Software (2008)
Get full text
Book Chapter
Formal Verification of a Reader-Writer Lock Implementation in C
Hillebrand, Mark A., Leinenbach, Dirk C.
Published in Electronic notes in theoretical computer science (28.10.2009)
Published in Electronic notes in theoretical computer science (28.10.2009)
Get full text
Journal Article
Invariants, Modularity, and Rights
Cohen, Ernie, Alkassar, Eyad, Boyarinov, Vladimir, Dahlweid, Markus, Degenbaev, Ulan, Hillebrand, Mark, Langenstein, Bruno, Leinenbach, Dirk, Moskal, Michał, Obua, Steven, Paul, Wolfgang, Pentchev, Hristo, Petrova, Elena, Santen, Thomas, Schirmer, Norbert, Schmaltz, Sabine, Schulte, Wolfram, Shadrin, Andrey, Tobies, Stephan, Tsyban, Alexandra, Tverdyshev, Sergey
Published in Perspectives of Systems Informatics (2010)
Published in Perspectives of Systems Informatics (2010)
Get full text
Book Chapter
Putting it all together - : Formal verification of the VAMP : Recent advances in hardware verification
BEYER, Sven, JACOBI, Christian, KRÖNING, Daniel, LEINENBACH, Dirk, PAUL, Wolfgang J
Published in International journal on software tools for technology transfer (Print) (2006)
Get full text
Published in International journal on software tools for technology transfer (Print) (2006)
Conference Proceeding