Sciweavers

Share
HVC
2007
Springer
153views Hardware» more  HVC 2007»
9 years 9 months ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
HVC
2007
Springer
106views Hardware» more  HVC 2007»
9 years 9 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu
HVC
2007
Springer
108views Hardware» more  HVC 2007»
10 years 1 days ago
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
David N. Jansen, Joost-Pieter Katoen, Marcel Olden...
HVC
2007
Springer
105views Hardware» more  HVC 2007»
10 years 1 days ago
Where Do Bugs Come from?
Andreas Zeller
HVC
2007
Springer
103views Hardware» more  HVC 2007»
10 years 1 days ago
Verifying Parametrised Hardware Designs Via Counter Automata
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
Ales Smrcka, Tomás Vojnar
HVC
2007
Springer
109views Hardware» more  HVC 2007»
10 years 1 days ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser
HVC
2007
Springer
107views Hardware» more  HVC 2007»
10 years 1 days ago
On the Characterization of Until as a Fixed Point Under Clocked Semantics
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
Dana Fisman
books