- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 2003
- Identifier
-
967128749
Thema
Java Virtual Machine ; Byte-Code ; Verifikation ; Korrektheit ; Isabelle ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (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