Hochschulschrift | Online-Publikation
A framework for checking programmer defined constraints on the definition and use of program elements in Java
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Dateiformat: zip, Dateien im PDF-Format
Berlin, Freie Univ., Diss., 2000
- Keyword
-
Softwareentwicklung
Java
Constraint-Programmierung
Model Checking
Programmanalyse
- Creator
-
Bokowski, Boris
- URN
-
urn:nbn:de:kobv:188-2002000210
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
- Bokowski, Boris
Other Objects (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