Record Details

Approximate symbolic reachability of networks of transition systems

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title Approximate symbolic reachability of networks of transition systems
 
Creator JUVEKAR, S
THLY, A
KANADE, V
CHAKRABORTY, S
 
Subject algorithms
state transition systems
symbolic reachability
approximation
 
Description Symbolic reachability analysis of networks of state transition systems present special optimization opportunities that are not always available in monolithic state transition systems. These optimizations can potentially allow scaling of reachability analysis to much larger networks than can be handled using existing techniques. In this paper, we discuss a set of techniques for efficient approximate reachability analysis of large networks of small state transition systems with local interactions, and analyse their relative precision and performance in a BDD-based tool. We use overlapping projections to represent the state space, and discuss Optimizations that significantly limit the set of variables in the support set of BDDs that must be manipulated to compute the image of each projection due to a transition of the system. The ideas presented in this paper have been implemented in a BDD-based symbolic reachability analyser built using the public-domain symbolic model checking framework of NuSMV. We report experimental results on a set of benchmarks that demonstrate the effectiveness of our approach over existing techniques using overlapping projections.
 
Publisher SPRINGER
 
Date 2011-10-24T08:37:41Z
2011-12-15T09:11:33Z
2011-10-24T08:37:41Z
2011-12-15T09:11:33Z
2007
 
Type Proceedings Paper
 
Identifier Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems,117-136
978-1-4020-6253-7
http://dx.doi.org/10.1007/978-1-4020-6254-4_10
http://dspace.library.iitb.ac.in/xmlui/handle/10054/15366
http://hdl.handle.net/100/2133
 
Source Workshop on Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems,Bangalore, INDIA,JAN 05-06, 2007
 
Language English