Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642017018, 9783642017025

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_22 ◽

2009 ◽

pp. 210-214

Author(s):

Ziv Nevo

Keyword(s):

Model Checking ◽

User Friendly

Download Full-text

d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_19 ◽

2009 ◽

pp. 194-199 ◽

Cited By ~ 1

Author(s):

Malay K. Ganai ◽

Weihong Li

Keyword(s):

Distributed Framework

Download Full-text

Synthesizing Test Models from Test Cases

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_18 ◽

2009 ◽

pp. 179-193 ◽

Cited By ~ 8

Author(s):

Antti Jääskeläinen ◽

Antti Kervinen ◽

Mika Katara ◽

Antti Valmari ◽

Heikki Virtanen

Keyword(s):

Test Cases ◽

Test Models

Download Full-text

Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ − Σ Modulator

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_16 ◽

2009 ◽

pp. 149-163 ◽

Cited By ~ 15

Author(s):

Edmund Clarke ◽

Alexandre Donzé ◽

Axel Legay

Keyword(s):

Model Checking ◽

Statistical Model ◽

Analog Circuits ◽

Third Order ◽

Statistical Model Checking

Download Full-text

Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( $\mathcal{LIA}$ )

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_11 ◽

2009 ◽

pp. 68-83 ◽

Cited By ~ 2

Author(s):

Malay K. Ganai

Keyword(s):

Decision Procedure ◽

Non Linear

Download Full-text

Significant Diagnostic Counterexamples in Probabilistic Model Checking

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_15 ◽

2009 ◽

pp. 129-148 ◽

Cited By ~ 19

Author(s):

Miguel E. Andrés ◽

Pedro D’Argenio ◽

Peter van Rossum

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

A Framework for Inherent Vacuity

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_7 ◽

2009 ◽

pp. 7-22 ◽

Cited By ~ 19

Author(s):

Dana Fisman ◽

Orna Kupferman ◽

Sarai Sheinvald-Faragy ◽

Moshe Y. Vardi

Download Full-text

Linear-Time Reductions of Resolution Proofs

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_14 ◽

2009 ◽

pp. 114-128 ◽

Cited By ~ 19

Author(s):

Omer Bar-Ilan ◽

Oded Fuhrmann ◽

Shlomo Hoory ◽

Ohad Shacham ◽

Ofer Strichman

Keyword(s):

Linear Time ◽

Resolution Proofs

Download Full-text

Structural Contradictions

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_17 ◽

2009 ◽

pp. 164-178 ◽

Cited By ~ 1

Author(s):

Cindy Eisner ◽

Dana Fisman

Download Full-text

A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01702-5_9 ◽

2009 ◽

pp. 38-52 ◽

Cited By ~ 2

Author(s):

Kerstin Bauer ◽

Raffaella Gentilini ◽

Klaus Schneider

Keyword(s):

Hybrid Automata ◽

Uniform Approach

Download Full-text

Hardware and Software: Verification and Testing - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE

d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework

Synthesizing Test Models from Test Cases

Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ − Σ Modulator

Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( $\mathcal{LIA}$ )

Significant Diagnostic Counterexamples in Probabilistic Model Checking

A Framework for Inherent Vacuity

Linear-Time Reductions of Resolution Proofs

Structural Contradictions

A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
Latest Publications