Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CAISE
2015
Springer

favoriteEmaildiscussreport

27views Information Technology» more CAISE 2015»

Applying Predicate Abstraction to Abstract State Machines

8 years 4 days ago

Applying Predicate Abstraction to Abstract State Machines

Download www.di.uniba.it

Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro

Real-time Traffic

CAISE 2015 | Information Technology |

claim paper

Related Content

» Simulation of Timed Abstract State Machines with Predicate Logic ModelChecking

» Abstract State Machine Models for Basic ServiceOriented Architectures

» Abstract Counterexamples for Nondisjunctive Abstractions

» The Timed Abstract State Machine Language Abstract State Machines for RealTime System Engi...

» Word level predicate abstraction and refinement for verifying RTL verilog

» Abstracting from Robot Sensor Data using Hidden Markov Models

» Abstract State Machines An Overview of the Project

» Predicate Abstraction of Programs with Nonlinear Computation

» Model Checking Procedures for Infinite State Systems

» Modular Ranking Abstraction

Post Info
More Details (n/a)

Added	17 Apr 2016
Updated	17 Apr 2016
Type	Journal
Year	2015
Where	CAISE
Authors	Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio

Comments (0)