Hochschulschrift | Online-Publikation
A framework for checking programmer defined constraints on the definition and use of program elements in Java
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Dateiformat: zip, Dateien im PDF-Format
Berlin, Freie Univ., Diss., 2000
- Schlagwort
-
Softwareentwicklung
Java
Constraint-Programmierung
Model Checking
Programmanalyse
- Urheber
-
Bokowski, Boris
- URN
-
urn:nbn:de:kobv:188-2002000210
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
- Bokowski, Boris
Ähnliche Objekte (12)
A framework for checking programmer defined constraints on the definition and use of programm elements in Java
Checking the integrity of spatial integrity constraints
On-The-Fly safety checking - customizing program certification and program restructuring
Multiple sequence alignment with user-defined constraints at GOBICS
Liveness checking as safety checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
Development of automatic program verification for continuous function chart based on model checking
Temporal Program Verification and Synthesis as Horn Constraints Solving
Liveness checking as safety checking for infinite state spaces
A framework for checking programmer defined constraints on the definition and use of programm elements in Java
Checking the integrity of spatial integrity constraints
On-The-Fly safety checking - customizing program certification and program restructuring
Multiple sequence alignment with user-defined constraints at GOBICS
Liveness checking as safety checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
Development of automatic program verification for continuous function chart based on model checking
Temporal Program Verification and Synthesis as Horn Constraints Solving
Liveness checking as safety checking for infinite state spaces
A framework for checking programmer defined constraints on the definition and use of programm elements in Java
Checking the integrity of spatial integrity constraints
On-The-Fly safety checking - customizing program certification and program restructuring
Multiple sequence alignment with user-defined constraints at GOBICS
Liveness checking as safety checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
Development of automatic program verification for continuous function chart based on model checking
Temporal Program Verification and Synthesis as Horn Constraints Solving