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

An Equivalence Checking Framework for Array-Intensive Programs

2017 ◽  
pp. 84-90
Author(s):  
Kunal Banerjee ◽  
Chittaranjan Mandal ◽  
Dipankar Sarkar
Keyword(s):  
Equivalence Checking ◽  
Intensive Programs

scholarly journals Maximum Resilience of Artificial Neural Networks

2017 ◽  
pp. 251-268 ◽  
Author(s):  
Chih-Hong Cheng ◽  
Georg Nührenberg ◽  
Harald Ruess
Keyword(s):  
Neural Networks ◽  
Artificial Neural Networks ◽  
Artificial Neural

ForFET: A Formal Feature Evaluation Tool for Hybrid Systems

2017 ◽  
pp. 437-445
Author(s):  
Antonio Anastasio Bruto da Costa ◽  
Pallab Dasgupta
Keyword(s):  
Hybrid Systems ◽  
Evaluation Tool ◽  
Feature Evaluation ◽  
Formal Feature

scholarly journals JTDec: A Tool for Tree Decompositions in Soot

2017 ◽  
pp. 59-66 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Amir Kafshdar Goharshady ◽  
Andreas Pavlogiannis
Keyword(s):  
Tree Decompositions

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

scholarly journals Exploiting Partial Knowledge for Efficient Model Analysis

2017 ◽  
pp. 344-362 ◽  
Author(s):  
Nuno Macedo ◽  
Alcino Cunha ◽  
Eduardo Pessoa
Keyword(s):  
Model Analysis ◽  
Partial Knowledge

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document