Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783030255398, 9783030255404
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Taming Delays in Dynamical Systems

2019 ◽  
pp. 650-669 ◽  
Author(s):  
Shenghua Feng ◽  
Mingshuai Chen ◽  
Naijun Zhan ◽  
Martin Fränzle ◽  
Bai Xue
Keyword(s):  
Dynamical Systems

scholarly journals Clock Bound Repair for Timed Systems

2019 ◽  
pp. 79-96 ◽  
Author(s):  
Martin Kölbl ◽  
Stefan Leue ◽  
Thomas Wies
Keyword(s):  
Timed Systems

scholarly journals Extending nuXmv with Timed Transition Systems and Timed Temporal Properties

2019 ◽  
pp. 376-386 ◽  
Author(s):  
Alessandro Cimatti ◽  
Alberto Griggio ◽  
Enrico Magnago ◽  
Marco Roveri ◽  
Stefano Tonetta
Keyword(s):  
Transition Systems ◽  
Temporal Properties

scholarly journals Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification

2019 ◽  
pp. 401-420 ◽  
Author(s):  
Zhenya Zhang ◽  
Ichiro Hasuo ◽  
Paolo Arcaini
Keyword(s):  
Hybrid System

scholarly journals Symbolic Monitoring Against Specifications Parametric in Time and Data

2019 ◽  
pp. 520-539 ◽  
Author(s):  
Masaki Waga ◽  
Étienne André ◽  
Ichiro Hasuo

scholarly journals Abstraction Refinement Algorithms for Timed Automata

2019 ◽  
pp. 22-40 ◽  
Author(s):  
Victor Roussanaly ◽  
Ocan Sankur ◽  
Nicolas Markey
Keyword(s):  
Timed Automata ◽  
Abstraction Refinement

scholarly journals BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings

2019 ◽  
pp. 355-365 ◽  
Author(s):  
Natalia Gavrilenko ◽  
Hernán Ponce-de-León ◽  
Florian Furbach ◽  
Keijo Heljanko ◽  
Roland Meyer
Keyword(s):  
Memory Models ◽  
Relation Analysis

scholarly journals STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis

2019 ◽  
pp. 540-549 ◽  
Author(s):  
Thakur Neupane ◽  
Chris J. Myers ◽  
Curtis Madsen ◽  
Hao Zheng ◽  
Zhen Zhang
Keyword(s):  
Approximate Model ◽  
Model Checker ◽  
Infinite State ◽  
State Analysis

scholarly journals The Marabou Framework for Verification and Analysis of Deep Neural Networks

2019 ◽  
pp. 443-452 ◽  
Author(s):  
Guy Katz ◽  
Derek A. Huang ◽  
Duligur Ibeling ◽  
Kyle Julian ◽  
Christopher Lazarus ◽  
...  
Keyword(s):  
Neural Networks ◽  
Deep Neural Networks

scholarly journals Verifying Hyperliveness

2019 ◽  
pp. 121-139 ◽  
Author(s):  
Norine Coenen ◽  
Bernd Finkbeiner ◽  
César Sánchez ◽  
Leander Tentrup
Load More ...
Sign in / Sign up

Export Citation Format

Share Document