Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 37)

H-INDEX

6
(FIVE YEARS 6)

Published By Springer International Publishing

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

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 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 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 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 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 Verifying Hyperliveness

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

scholarly journals Property Directed Self Composition

2019 ◽  
pp. 161-179 ◽  
Author(s):  
Ron Shemer ◽  
Arie Gurfinkel ◽  
Sharon Shoham ◽  
Yakir Vizel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document