Predicate Abstraction of ANSI-C Programs Using SAT von Clarke, Edmund, Kroening, Daniel, Sharygina, Natasha, Yorav, Karen

Volltext

Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

Static Analysis for State-Space Reductions Preserving Temporal Logics von Yorav, Karen, Grumberg, Orna

Volltext

Haifa verification conference 2007 von Yorav, Karen

Volltext

SATABS: SAT-Based Predicate Abstraction for ANSI-C von Clarke, Edmund, Kroening, Daniel, Sharygina, Natasha, Yorav, Karen

Volltext

Hardware and Software: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings von Yorav, Karen

Volltext

Preface von Biere, Armin, Yorav, Karen

Volltext

Preface von Biere, Armin, Yorav, Karen

Volltext

Verifying Behavioral UML Systems via CEGAR von Meller, Yael, Grumberg, Orna, Yorav, Karen

Volltext

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison von Jansen, David N., Katoen, Joost-Pieter, Oldenkamp, Marcel, Stoelinga, Mariëlle, Zapreev, Ivan

Volltext

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

Volltext

Functional verification of power gated designs by compositional reasoning von Eisner, Cindy, Nahir, Amir, Yorav, Karen

Volltext

Dynamic Testing Via Automata Learning von Raffelt, Harald, Steffen, Bernhard, Margaria, Tiziana

Volltext

Learning-Based Compositional Model Checking of Behavioral UML Systems von Meller, Yael, Grumberg, Orna, Yorav, Karen

Volltext

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code von Noll, Thomas, Schlich, Bastian

Volltext

Reactivity in SystemC Transaction-Level Models von Doucet, Frederic, Shyamasundar, R. K., Krüger, Ingolf H., Joshi, Saurabh, Gupta, Rajesh K.

Volltext

Locating Regression Bugs von Nir, Dor, Tyszberowicz, Shmuel, Yehudai, Amiram

Volltext

On the Architecture of System Verification Environments von Hillebrand, Mark A., Paul, Wolfgang J.

Volltext

A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements von Motahari Nezhad, Hamid R., Nakamura, Taiga, Sosnovich, Adi, Yin, Peifeng, Yorav, Karen

Volltext

Verifying Parametrised Hardware Designs Via Counter Automata von Smrčka, Ales, Vojnar, Tomás

Volltext