Sciweavers

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

93

Voted

ICSE
1992
IEEE-ACM

102views Software Engineering» more ICSE 1992»

A Toolbox for the Verification of LOTOS Programs

15 years 6 months ago

A Toolbox for the Verification of LOTOS Programs

Download ftp.inrialpes.fr

This paper presents the tools Ald

Jean-Claude Fernandez, Hubert Garavel, Laurent Mou

Real-time Traffic

Atomic Multicast Protocol | Formal Verification | ICSE 1992 | Lotos Programs | Software Engineering |

claim paper

Related Content

» Compositional State Space Generation from Lotos Programs

» COPEN and ANNOTATOR Tools for OntheFly Model Checking C Programs

» A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS

» Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Networ...

» Realizability of Choreographies Using Process Algebra Encodings

» Differential static analysis opportunities applications and challenges

» Composable semantics for modelbased notations

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	ICSE
Authors	Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis

Comments (0)