- Language
-
Englisch
- Notes
-
München, Techn. Univ., Diss., 2003
- Identifier
-
967128749
Subject
Java Virtual Machine ; Byte-Code ; Verifikation ; Korrektheit ; Isabelle ; Hochschulschrift; Online-Publikation
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:53 PM CET
Object type
- Monografie
Associated
Other Objects (12)
Formal verification of pipelined microprocessors
JIFFY - ein FPGA-basierter Java Just-in-time-Compiler für eingebettete Anwendungen
A generalized process for the verification and validation of models and simulation results
Abstract state machines : verification problems and complexity
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Specification and verification of object oriented software components
Semantics-directed generation of compilers and abstract machines
Symbolic timing diagrams : a visual formalism for model verification
Model checking abstract state machines
Coalgebraische Methoden für objektorientierte Spezifikation
Model checking combined Z and statechart specifications
Model checking pushdown systems
Formal verification of pipelined microprocessors
JIFFY - ein FPGA-basierter Java Just-in-time-Compiler für eingebettete Anwendungen
A generalized process for the verification and validation of models and simulation results
Abstract state machines : verification problems and complexity
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Specification and verification of object oriented software components
Semantics-directed generation of compilers and abstract machines
Symbolic timing diagrams : a visual formalism for model verification
Model checking abstract state machines
Coalgebraische Methoden für objektorientierte Spezifikation
Model checking combined Z and statechart specifications
Model checking pushdown systems
Formal verification of pipelined microprocessors
JIFFY - ein FPGA-basierter Java Just-in-time-Compiler für eingebettete Anwendungen
A generalized process for the verification and validation of models and simulation results
Abstract state machines : verification problems and complexity
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Specification and verification of object oriented software components
Semantics-directed generation of compilers and abstract machines
Symbolic timing diagrams : a visual formalism for model verification
Model checking abstract state machines
Coalgebraische Methoden für objektorientierte Spezifikation
Model checking combined Z and statechart specifications