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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642333859, 9783642333866
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization

2012 ◽  
pp. 203-207 ◽  
Author(s):  
Ondrej Sery ◽  
Grigory Fedyukovich ◽  
Natasha Sharygina
Keyword(s):  
Model Checking ◽  
Bounded Model Checking

scholarly journals An Experiment on Parallel Model Checking of a CTL Fragment

2012 ◽  
pp. 284-299 ◽  
Author(s):  
Rodrigo T. Saad ◽  
Silvano Dal Zilio ◽  
Bernard Berthomieu
Keyword(s):  
Model Checking ◽  
Parallel Model

scholarly journals Interpolant Automata

2012 ◽  
pp. 26-26
Author(s):  
Andreas Podelski

ALLQBF Solving by Computational Learning

2012 ◽  
pp. 370-384 ◽  
Author(s):  
Bernd Becker ◽  
Rüdiger Ehlers ◽  
Matthew Lewis ◽  
Paolo Marin
Keyword(s):  
Computational Learning

Verification of Computer Switching Networks: An Overview

2012 ◽  
pp. 1-16 ◽  
Author(s):  
Shuyuan Zhang ◽  
Sharad Malik ◽  
Rick McGeer
Keyword(s):  
Switching Networks

scholarly journals On Temporal Logic and Signal Processing

2012 ◽  
pp. 92-106 ◽  
Author(s):  
Alexandre Donzé ◽  
Oded Maler ◽  
Ezio Bartocci ◽  
Dejan Nickovic ◽  
Radu Grosu ◽  
...  
Keyword(s):  
Signal Processing ◽  
Temporal Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document