Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030532871, 9783030532888
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals TarTar: A Timed Automata Repair Tool

2020 ◽  
pp. 529-540
Author(s):  
Martin Kölbl ◽  
Stefan Leue ◽  
Thomas Wies
Keyword(s):  
Timed Automata

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

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

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

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

scholarly journals Systematic Generation of Diverse Benchmarks for DNN Verification

2020 ◽  
pp. 97-121
Author(s):  
Dong Xu ◽  
David Shriver ◽  
Matthew B. Dwyer ◽  
Sebastian Elbaum

scholarly journals Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

2020 ◽  
pp. 66-96 ◽  
Author(s):  
Stanley Bak ◽  
Hoang-Dung Tran ◽  
Kerianne Hobbs ◽  
Taylor T. Johnson
Keyword(s):  
Neural Networks

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

2020 ◽  
pp. 463-484
Author(s):  
Mate Soos ◽  
Stephan Gocht ◽  
Kuldeep S. Meel

scholarly journals AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

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

scholarly journals Approximate Counting of Minimal Unsatisfiable Subsets

2020 ◽  
pp. 439-462
Author(s):  
Jaroslav Bendík ◽  
Kuldeep S. Meel
Keyword(s):  
Approximate Counting

scholarly journals Hampa: Solver-Aided Recency-Aware Replication

2020 ◽  
pp. 324-349
Author(s):  
Xiao Li ◽  
Farzin Houshmand ◽  
Mohsen Lesani
Load More ...
Sign in / Sign up

Export Citation Format

Share Document