Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 32)

H-INDEX

2

(FIVE YEARS 2)

Published By Springer International Publishing

9783030532871, 9783030532888

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Systematic Generation of Diverse Benchmarks for DNN Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_5 ◽

2020 ◽

pp. 97-121

Author(s):

Dong Xu ◽

David Shriver ◽

Matthew B. Dwyer ◽

Sebastian Elbaum

Download Full-text

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_32 ◽

2020 ◽

pp. 653-666

Author(s):

Milan Češka ◽

Calvin Chau ◽

Jan Křetínský

Keyword(s):

Quantitative Analysis ◽

Chemical Reaction ◽

Chemical Reaction Networks ◽

Reaction Networks

Download Full-text

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_4 ◽

2020 ◽

pp. 66-96 ◽

Author(s):

Stanley Bak ◽

Hoang-Dung Tran ◽

Kerianne Hobbs ◽

Taylor T. Johnson

Keyword(s):

Neural Networks

Download Full-text

TarTar: A Timed Automata Repair Tool

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_25 ◽

2020 ◽

pp. 529-540

Author(s):

Martin Kölbl ◽

Stefan Leue ◽

Thomas Wies

Keyword(s):

Download Full-text

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_1 ◽

2020 ◽

pp. 3-17 ◽

Author(s):

Hoang-Dung Tran ◽

Xiaodong Yang ◽

Diego Manzanas Lopez ◽

Patrick Musau ◽

Luan Viet Nguyen ◽

...

Keyword(s):

Neural Network ◽

Neural Networks ◽

Deep Neural Networks ◽

Cyber Physical Systems ◽

Physical Systems ◽

Verification Tool ◽

The Neural Network ◽

Network Verification

Download Full-text

fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_19 ◽

2020 ◽

pp. 403-414

Author(s):

Lenny Truong ◽

Steven Herbst ◽

Rajsekhar Setaluri ◽

Makai Mann ◽

Ross Daly ◽

...

Keyword(s):

Hardware Verification ◽

Domain Specific Language ◽

Specific Language ◽

Domain Specific

Download Full-text

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_22 ◽

2020 ◽

pp. 463-484

Author(s):

Mate Soos ◽

Stephan Gocht ◽

Kuldeep S. Meel

Download Full-text

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_28 ◽

2020 ◽

pp. 569-581

Author(s):

Nikola Beneš ◽

Luboš Brim ◽

Jakub Kadlecaj ◽

Samuel Pastva ◽

David Šafránek

Keyword(s):

Bifurcation Analysis ◽

Boolean Networks ◽

Attractor Bifurcation

Download Full-text

Approximate Counting of Minimal Unsatisfiable Subsets

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_21 ◽

2020 ◽

pp. 439-462

Author(s):

Jaroslav Bendík ◽

Kuldeep S. Meel

Keyword(s):

Approximate Counting

Download Full-text

Hampa: Solver-Aided Recency-Aware Replication

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_16 ◽

2020 ◽

pp. 324-349

Author(s):

Xiao Li ◽

Farzin Houshmand ◽

Mohsen Lesani

Download Full-text