Monografie
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
- Sprache
-
Englisch
- Anmerkungen
-
Augsburg, Univ., Diss., 2005
- Identifier
-
980393825
- Thema
-
Nebenläufigkeit ; Verifikation ; Model Checking ; Prozessalgebra ; Temporales Schließen ; Induktion ; Qualitätssicherung ; Verifikation ; Formale Beschreibungstechnik ; Nebenläufigkeit / Programmierung ; Temporale Logik ; Kalkül; Hochschulschrift
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 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
- Monografie
Beteiligte
Ähnliche Objekte (12)
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic worst case execution times
Symbolic execution of distributed systems
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Automated test-case generation with symbolic execution
Neural-symbolic cognitive reasoning
Improving automatic software repair with probabilistic symbolic execution
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging
Sound Program Transformation Based on Symbolic Execution and Deduction
Model counting of string constraints for probabilistic symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic worst case execution times
Symbolic execution of distributed systems
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Automated test-case generation with symbolic execution
Neural-symbolic cognitive reasoning
Improving automatic software repair with probabilistic symbolic execution
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging
Sound Program Transformation Based on Symbolic Execution and Deduction
Model counting of string constraints for probabilistic symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic worst case execution times
Symbolic execution of distributed systems
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Automated test-case generation with symbolic execution
Neural-symbolic cognitive reasoning
Improving automatic software repair with probabilistic symbolic execution
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging
Sound Program Transformation Based on Symbolic Execution and Deduction