Sciweavers

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

9

SPIN
1999
Springer

favoriteEmaildiscussreport

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

13 years 9 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)