Sciweavers

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

117

Voted

SIGSOFT
2009
ACM

91views Software Engineering» more SIGSOFT 2009»

Behavioral automata composition for automatic topology independent verification of parameterized systems

16 years 3 months ago

Behavioral automata composition for automatic topology independent verification of parameterized systems

Download goedel.cs.uiowa.edu

Youssef Hanna, Samik Basu, Hridesh Rajan

Real-time Traffic

Behavioral Automata Composition | SIGSOFT 2009 | Software Engineering |

claim paper

Related Content

» Inferring Network Invariants Automatically

» Formal Verification of SafetyCritical Hybrid Systems

» Model Checking the FlexRay Physical Layer Protocol

Post Info
More Details (n/a)

Added	19 Nov 2009
Updated	19 Nov 2009
Type	Conference
Year	2009
Where	SIGSOFT
Authors	Youssef Hanna, Samik Basu, Hridesh Rajan

Comments (0)