Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319681665, 9783319681672
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Finding Polynomial Loop Invariants for Probabilistic Programs

2017 ◽  
pp. 400-416 ◽  
Author(s):  
Yijun Feng ◽  
Lijun Zhang ◽  
David N. Jansen ◽  
Naijun Zhan ◽  
Bican Xia
Keyword(s):  
Probabilistic Programs

scholarly journals The Reach-Avoid Problem for Constant-Rate Multi-mode Systems

2017 ◽  
pp. 463-479 ◽  
Author(s):  
Shankara Narayanan Krishna ◽  
Aviral Kumar ◽  
Fabio Somenzi ◽  
Behrouz Touri ◽  
Ashutosh Trivedi
Keyword(s):  
Constant Rate ◽  
Multi Mode

Model Checking of C and C++ with DIVINE 4

2017 ◽  
pp. 201-207 ◽  
Author(s):  
Zuzana Baranová ◽  
Jiří Barnat ◽  
Katarína Kejstová ◽  
Tadeáš Kučera ◽  
Henrich Lauko ◽  
...  
Keyword(s):  
Model Checking

scholarly journals Concurrent Program Verification with Invariant-Guided Underapproximation

2017 ◽  
pp. 241-248
Author(s):  
Sumanth Prabhu ◽  
Peter Schrammel ◽  
Mandayam Srivas ◽  
Michael Tautschnig ◽  
Anand Yeolekar
Keyword(s):  
Program Verification ◽  
Concurrent Program
Load More ...
Sign in / Sign up

Export Citation Format

Share Document