Skip to contents

Kühne, Ulrich [Author]

Advanced automation in formal verification of processors

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker, 2009

Published in: Berichte aus der Informatik
Kinder, Sebastian [Author]

Automated validation and verification of railway specific components and systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker, 2008

Published in: Berichte aus der Informatik
Herbstritt, Marc [Author]

SAT-based verification : from core algorithms to novel application domains

View online
Schließen

Access

https://d-nb.info/989428664/34

kostenfrei

http://www.freidok.uni-freiburg.de/volltexte/5380/

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Herbstritt, Marc [Author]

SAT-based verification - from core algorithms to novel application domains

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2008
Johannsen, Peer [Author]

Speeding up hardware verification by automated data path scaling

View online
Schließen

Access

https://d-nb.info/971595623/34

kostenfrei

http://e-diss.uni-kiel.de/diss_669/index.htm

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Nguyen, Duc-Minh [Author]

System-on-chip protocol compliance verification using interval property checking = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung

View online
Schließen

Access

https://d-nb.info/99318863X/34

kostenfrei

http://kluedo.ub.uni-kl.de/volltexte/2009/2307/index.html

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Wedler, Markus [Author]

Modellgenerierung für die SAT-basierte Eigenschaftsprüfung

View online
Schließen

Access

https://d-nb.info/98098212X/34

kostenfrei

http://kluedo.ub.uni-kl.de/volltexte/2006/1979/index.html

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Vörtler, Thilo [Author] ; Hofstedt, Petra [Other]; Vierhaus, Heinrich Theodor [Other]

Verification of software for Contiki-based low-power embedded systems using software model checking

View online
Schließen

Access

https://d-nb.info/1152265601/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cottbus: BTU Cottbus - Senftenberg, 2018
Gajarský, Jakub [Author]; Král', Daniel [Author] ; Jakub Gajarský and Daniel Král' [Contributor]

Recovering Sparse Graphs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Herbstritt, Marc [Author]

SAT-based verification - from core algorithms to novel application domains ; SAT-basierte Verifikation - von Basis-Algorithmen zu neuen Anwendungsdomänen

View online
Schließen

Links

https://freidok.uni-freiburg.de/data/5380

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2008
Eggers, Andreas [Author] ; Fränzle, Martin [Degree supervisor]; Ramdani, Nacim [Degree supervisor]

Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems

View online
Schließen

Access

https://d-nb.info/1056999748/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg: BIS der Universität Oldenburg, 2014
Wimmer, Ralf [Author]

Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele

View online
Schließen

Access

https://d-nb.info/100995637X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Online-Ausg.:: 2011
Tovchigrechko, Alexey A. [Author]

Efficient symbolic analysis of bounded Petri nets using interval decision diagrams

View online
Schließen

Access

https://d-nb.info/998532053/34

kostenfrei

http://opus.kobv.de/btu/volltexte/2009/1029/

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Wimmer, Ralf [Author]

Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2011
Brinkmann, Raik [Author]

Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

View online
Schließen

Access

https://d-nb.info/97006392X/34

kostenfrei

http://kluedo.ub.uni-kl.de/volltexte/2004/1667/index.html

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Kheireddine, Anissa [Author]; Renault, Etienne [Author]; Baarir, Souheib [Author] ; Anissa Kheireddine and Etienne Renault and Souheib Baarir [Contributor]

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Abdulla, Parosh Aziz [Author]; Aiswarya, C. [Author]; Atig, Mohamed Faouzi [Author] ; Parosh Aziz Abdulla and C. Aiswarya and Mohamed Faouzi Atig [Contributor]

Data Multi-Pushdown Automata

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Zbrzezny, Agnieszka M. [Author]; Zbrzezny, Andrzej [Author] ; Agnieszka M. Zbrzezny and Andrzej Zbrzezny [Contributor]

Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Post, Hendrik [Author] ; Sinz, C. [Contributor]

Verifikation von systemnaher Software mittels Bounded Model Checking

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000011473

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 2009-01-01
Traub, Johannes Frederik Jesper [Author]

Formal Verification of Concurrent Embedded Software

View online
Schließen

Access

https://d-nb.info/1105472175/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Universitätsbibliothek Kiel, 2016

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication