Searching for authors named "Norbert Schirmer" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Modeling the Java Package/Access Concept in Isabelle
- …Modeling the Java Package/Access Concept in Isabelle = ∀ Isabelle → λ β HOL Norbert Schirmer…
- Add To MetaCart
-
Analysing the Java package/access concepts in Isabelle/HOL
- …Analysing the Java Package/Access Concepts in Isabelle/HOL ⋆ Norbert Schirmer Fakultät für…
- Cited by 6 (1 self) – Add To MetaCart
-
A verification environment for sequential imperative programs in Isabelle/HOL
- …A Verification Environment for Sequential Imperative Programs in Isabelle/HOL ⋆ Norbert Schirmer…
- Cited by 14 (1 self) – Add To MetaCart
-
L ATEX Sugar for Isabelle documents
- …L ATEX Sugar for Isabelle documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert…
- Add To MetaCart
-
Java Definite Assignment in Isabelle/HOL
- …Java Definite Assignment in Isabelle/HOL ⋆ Norbert Schirmer Technische Universität München…
- Cited by 2 (0 self) – Add To MetaCart
-
Verification of sequential imperative programs
- …/HOL Norbert Schirmer Lehrstuhl für Software & Systems Engineering Institut für Informatik Technische…
- Cited by 1 (0 self) – Add To MetaCart
-
Integration of a software model checker into Isabelle
- … Integration of a Software Model Checker into Isabelle? Matthias Daum1, Stefan Maus2, Norbert…
- Cited by 3 (0 self) – Add To MetaCart
-
Verification of BDD normalization
- …Verification of BDD Normalization Veronika Ortner and Norbert Schirmer Technische Universität…
- Cited by 6 (0 self) – Add To MetaCart
-
Java Source and Bytecode Formalizations in Isabelle: µJava
- …This formal development defines Java, a small fragment of the programming language Java (with essentially just classes), together with a corresponding virtual machine, a specification of its bytecode verifier, and an executable bytecodeverifier based on dataflow analysis. It is shown that Java and t…
- Add To MetaCart
Showing 1 through 9.
