Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319216898, 9783319216904

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Automation of CTL* Verification for Infinite-State Systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_2 ◽

2015 ◽

pp. 13-29 ◽

Cited By ~ 16

Author(s):

Byron Cook ◽

Heidy Khlaaf ◽

Nir Piterman

Keyword(s):

Infinite State Systems ◽

Infinite State

Get full-text (via PubEx)

Time-Aware Abstractions in HybridSal

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_34 ◽

2015 ◽

pp. 504-510 ◽

Cited By ~ 4

Author(s):

Ashish Tiwari

Keyword(s):

Time Aware

Get full-text (via PubEx)

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_6 ◽

2015 ◽

pp. 85-102 ◽

Cited By ~ 18

Author(s):

Igor Konnov ◽

Helmut Veith ◽

Josef Widder

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Parameterized Model

Get full-text (via PubEx)

Property-Directed Inference of Universal Invariants or Proving Their Absence

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_40 ◽

2015 ◽

pp. 583-602 ◽

Cited By ~ 17

Author(s):

A. Karbyshev ◽

N. Bjørner ◽

S. Itzhaky ◽

N. Rinetzky ◽

S. Shoham

Get full-text (via PubEx)

Fairness Modulo Theory: A New Approach to LTL Software Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_4 ◽

2015 ◽

pp. 49-66 ◽

Cited By ~ 16

Author(s):

Daniel Dietsch ◽

Matthias Heizmann ◽

Vincent Langenfeld ◽

Andreas Podelski

Keyword(s):

Model Checking ◽

Software Model Checking ◽

New Approach ◽

Software Model

Get full-text (via PubEx)

Predicting a Correct Program in Programming by Example

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_23 ◽

2015 ◽

pp. 398-414 ◽

Cited By ~ 17

Author(s):

Rishabh Singh ◽

Sumit Gulwani

Keyword(s):

Programming By Example ◽

Correct Program

Get full-text (via PubEx)

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_14 ◽

2015 ◽

pp. 235-254 ◽

Cited By ~ 19

Author(s):

Yunhui Zheng ◽

Vijay Ganesh ◽

Sanu Subramanian ◽

Omer Tripp ◽

Julian Dolby ◽

...

Keyword(s):

Search Space ◽

Regular Expressions ◽

Search Space Pruning

Get full-text (via PubEx)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_12 ◽

2015 ◽

pp. 195-213 ◽

Cited By ~ 13

Author(s):

Alessandro Abate ◽

Luboš Brim ◽

Milan Češka ◽

Marta Kwiatkowska

Keyword(s):

Quantitative Analysis ◽

Markov Chains ◽

Chemical Reaction ◽

Chemical Reaction Networks ◽

Reaction Networks ◽

Adaptive Aggregation

Get full-text (via PubEx)

The SeaHorn Verification Framework

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_20 ◽

2015 ◽

pp. 343-361 ◽

Cited By ~ 97

Author(s):

Arie Gurfinkel ◽

Temesghen Kahsai ◽

Anvesh Komuravelli ◽

Jorge A. Navas

Get full-text (via PubEx)

Meeting a Powertrain Verification Challenge

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_37 ◽

2015 ◽

pp. 536-543 ◽

Cited By ~ 11

Author(s):

Parasara Sridhar Duggirala ◽

Chuchu Fan ◽

Sayan Mitra ◽

Mahesh Viswanathan

Get full-text (via PubEx)

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

On Automation of CTL* Verification for Infinite-State Systems

Time-Aware Abstractions in HybridSal

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms

Property-Directed Inference of Universal Invariants or Proving Their Absence

Fairness Modulo Theory: A New Approach to LTL Software Model Checking

Predicting a Correct Program in Programming by Example

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

The SeaHorn Verification Framework

Meeting a Powertrain Verification Challenge

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications