Sciweavers

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

24

SPIN
1999
Springer

favoriteEmaildiscussreport

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

14 years 3 months ago

A Framework for Automatic Construction of Abstract Promela Models

Download spinroot.com

María-del-Mar Gallardo, Pedro Merino

Real-time Traffic

SPIN 1999 | Theoretical Computer Science |

claim paper

Related Content

» vPromela A Visual ObjectOriented Language for SPIN

» Type inference and strong static type checking for Promela

» A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker

» A framework for XML data streams history checking and monitoring

» A Counterexample Guided AbstractionRefinement Framework for Markov Decision Processes

» Automatic Construction of 3D Statistical Deformation Models Using Nonrigid Registration

» Automating Checking of Models Built Using a Graphically Based Formal Modelling Language

» Verifying Multiagent Programs by Model Checking

» An Attribute Based Framework for RiskAdaptive Access Control Models

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1999
Where	SPIN
Authors	María-del-Mar Gallardo, Pedro Merino

Comments (0)