Sciweavers

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

10

ICPADS
1994
IEEE

favoriteEmaildiscussreport

113views Distributed And Parallel Com...» more ICPADS 1994»

Techniques to Tackle State Explosion in global Predicate Detection

13 years 9 months ago

Techniques to Tackle State Explosion in global Predicate Detection

Download www.utdallas.edu

Sridhar Alagar, Subbarayan Venkatesan

Real-time Traffic

Distributed And Parallel Computing | Global State | Global State Space | ICPADS 1994 | ÐGlobal Predicate Detection |

claim paper

Related Content

» Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing

» Producing Short Counterexamples Using Crucial Events

» Software Fault Tolerance of Distributed Programs Using Computation Slicing

» ContextEnhanced Directed Model Checking

» DFinder A Tool for Compositional Deadlock Detection and Verification

» Manufacturing opaque predicates in distributed systems for code obfuscation

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1994
Where	ICPADS
Authors	Sridhar Alagar, Subbarayan Venkatesan

Comments (0)