search result

Cover von Formal verification of pipelined microprocessors
Author: Kröning, Daniel Search for this author
Year: 2001
Publisher: Saarbrücken, Univ.
Media group: DISSERTATION
Cover von Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8471
Media group: MONOGRAPHIE
Cover von Unfolding-based Partial Order Reduction

Unfolding-based Partial Order Reduction

Year: 2015
Media group: LIPIcs
Cover von Hardware and Software
Verification and Testing : 6th International Haifa Verification Conference, Haifa, Israel, October 4 - 7, 2011 : Revised Selected Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6504
Media group: MONOGRAPHIE
Cover von Decision procedures
an algorithmic point of view
Author: Kröning, Daniel; Strichman, Ofer Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Next Generation Static Software Analysis Tools; 8
pp. 107-125
Search for this author
Year: 2014
Publisher: Wadern, LZI
Count: 8
Media group: DAGSTUHL REPORT
Cover von Computer Aided Verification

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18 - 24, 2015, Proceedings
2015
Berlin, Springer
Series: Lecture notes in computer science; 9206/9207
Media group: GESAMTWERK
Volumes loading
Cover von Validation of Evolving Software
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Decision Procedures and Abstract Interpretation; 8
pp. 89-106
Search for this author
Year: 2014
Publisher: Wadern, LZI
Count: 8
Media group: DAGSTUHL REPORT
Cover von Digitaltechnik
Eine praxisnahe Einführung
Search for this author
Year: 2008
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0