Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319961446, 9783319961453
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Learning Abstractions for Program Synthesis

2018 ◽  
pp. 407-426 ◽  
Author(s):  
Xinyu Wang ◽  
Greg Anderson ◽  
Isil Dillig ◽  
K. L. McMillan
Keyword(s):  
Program Synthesis

scholarly journals Space-Time Interpolants

2018 ◽  
pp. 468-486
Author(s):  
Goran Frehse ◽  
Mirco Giacobbe ◽  
Thomas A. Henzinger
Keyword(s):  
Space Time

scholarly journals JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

2018 ◽  
pp. 183-190 ◽  
Author(s):  
Lucas Cordeiro ◽  
Pascal Kesseli ◽  
Daniel Kroening ◽  
Peter Schrammel ◽  
Marek Trtik
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Java Bytecode

Layered Concurrent Programs

2018 ◽  
pp. 79-102 ◽  
Author(s):  
Bernhard Kragl ◽  
Shaz Qadeer
Keyword(s):  
Concurrent Programs

Strix: Explicit Reactive Synthesis Strikes Back!

2018 ◽  
pp. 578-586 ◽  
Author(s):  
Philipp J. Meyer ◽  
Salomon Sickert ◽  
Michael Luttenberger
Keyword(s):  
Reactive Synthesis

Monitoring CTMCs by Multi-clock Timed Automata

2018 ◽  
pp. 507-526 ◽  
Author(s):  
Yijun Feng ◽  
Joost-Pieter Katoen ◽  
Haokun Li ◽  
Bican Xia ◽  
Naijun Zhan
Keyword(s):  
Timed Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document