An approach for the verification and synthesis of complete test generation algorithms for finite state machines
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Bremen, Universität Bremen, Dissertation, 2022
- Keyword
-
Verifikation
Model Checking
Softwaretest
Formale Spezifikationstechnik
Endlicher Automat
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Bremen
- (who)
-
Staats- und Universitätsbibliothek Bremen
- (when)
-
2022
- Creator
-
Sachtleben, Robert
- Contributor
- DOI
-
10.26092/elib/1665
- URN
-
urn:nbn:de:gbv:46-elib60689
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 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.
Associated
- Sachtleben, Robert
- Peleska, Jan
- Wolff, Burkhart
- Staats- und Universitätsbibliothek Bremen
Time of origin
- 2022
Other Objects (12)
Parallel algorithms for verification of large systems
Complete Functional Verification
Multilevel Algorithms in Lattice QCD for Exascale Machines
Verification of abstract state machines
Stratified commutativity in verification algorithms for concurrent programs
Formal Verification of Algorithms for Automata and Model Checking
Interactive verification of UML state machines
Algorithms and Tools for Verification and Testing of Asynchronous Programs
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Decision algorithms for modelling, optimal control and verification of probabilistic systems
MIZAR verification of generic algebraic algorithms
Parallel algorithms for verification of large systems
Complete Functional Verification
Multilevel Algorithms in Lattice QCD for Exascale Machines
Verification of abstract state machines
Stratified commutativity in verification algorithms for concurrent programs
Formal Verification of Algorithms for Automata and Model Checking
Interactive verification of UML state machines
Algorithms and Tools for Verification and Testing of Asynchronous Programs
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Decision algorithms for modelling, optimal control and verification of probabilistic systems
MIZAR verification of generic algebraic algorithms
Parallel algorithms for verification of large systems
Complete Functional Verification
Multilevel Algorithms in Lattice QCD for Exascale Machines
Verification of abstract state machines
Stratified commutativity in verification algorithms for concurrent programs
Formal Verification of Algorithms for Automata and Model Checking
Interactive verification of UML state machines
Algorithms and Tools for Verification and Testing of Asynchronous Programs
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Decision algorithms for modelling, optimal control and verification of probabilistic systems