Hochschulschrift
WoLFram - a word level framework for formal verification and its application
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832289454
- Maße
-
21 cm, 297 gr.
- Umfang
-
III, 190 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Bremen, Univ., Diss., 2010
- Schlagwort
-
Systementwurf
Verifikation
Erfüllbarkeitsproblem
Boolesche Formel
Hardwarebeschreibungssprache
Debugging
Boolesche Formel
Debugging
Erfüllbarkeitsproblem
Hardwarebeschreibungssprache
Systementwurf
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker
- (wann)
-
2010
- Urheber
-
Sülflow, André
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:51 MESZ
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
Beteiligte
- Sülflow, André
- Shaker
Entstanden
- 2010
Ähnliche Objekte (12)
A uniform framework for the formal specification and verification of information flow security
A uniform framework for the formal specification and verification of information flow security
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
Towards cooperative software verification with test generation and formal verification
Formal Verification of Concurrent Embedded Software
Slicing integrated formal specifications for verification
SAT-Based Scalable Formal Verification Solutions
A uniform framework for the formal specification and verification of information flow security
A uniform framework for the formal specification and verification of information flow security
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
Towards cooperative software verification with test generation and formal verification
Formal Verification of Concurrent Embedded Software
Slicing integrated formal specifications for verification
SAT-Based Scalable Formal Verification Solutions
A uniform framework for the formal specification and verification of information flow security
A uniform framework for the formal specification and verification of information flow security
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal verification for ALICA plans
Towards cooperative software verification with test generation and formal verification
Formal Verification of Concurrent Embedded Software
Slicing integrated formal specifications for verification