Hochschulschrift | Online-Publikation
Symbolic timing diagrams : a visual formalism for model verification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Oldenburg, Univ., Diss., 2001
- Keyword
-
Reaktives System
Verifikation
Spezifikationstechnik
Visualisierung
- Creator
- URN
-
urn:nbn:de:gbv:715-oops-3312
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:38 AM CEST
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
Other Objects (12)
Symbolic timing diagrams : a visual formalism for model verification
A bispinor formalism for spinning Witten diagrams
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
Integrating Symbolic Execution, Debugging and Verification
Ladder and zig-zag Feynman diagrams, operator formalism and conformal triangles
symQV : Automated Symbolic Verification of Quantum Programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
Ergodic theory - finite and infinite, thermodynamic formalism, symbolic dynamics and distance expanding maps
Mixed signal circuit verification using symbolic model checking techniques
Symbolic verification of computational security for branching-time properties.
Symbolic methods for formal verification of industrial control software
Symbolic timing diagrams : a visual formalism for model verification
A bispinor formalism for spinning Witten diagrams
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
Integrating Symbolic Execution, Debugging and Verification
Ladder and zig-zag Feynman diagrams, operator formalism and conformal triangles
symQV : Automated Symbolic Verification of Quantum Programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
Ergodic theory - finite and infinite, thermodynamic formalism, symbolic dynamics and distance expanding maps
Mixed signal circuit verification using symbolic model checking techniques
Symbolic verification of computational security for branching-time properties.
Symbolic methods for formal verification of industrial control software
Symbolic timing diagrams : a visual formalism for model verification
A bispinor formalism for spinning Witten diagrams
Linking visual formalisms : a compositional proof system for statecharts based on symbolic timing diagrams
Integrating Symbolic Execution, Debugging and Verification
Ladder and zig-zag Feynman diagrams, operator formalism and conformal triangles
symQV : Automated Symbolic Verification of Quantum Programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams
Ergodic theory - finite and infinite, thermodynamic formalism, symbolic dynamics and distance expanding maps
Mixed signal circuit verification using symbolic model checking techniques
Symbolic verification of computational security for branching-time properties.