Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
On-the-fly model checking for C programs with extended CADP in FMICS-jETI Maria del Mar Gallardo, Pedro Merino
 

Summary: On-the-fly model checking for C programs with extended CADP in FMICS-jETI
Mar´ia del Mar Gallardo, Pedro Merino
and David San´an
University of M´alaga
ETSI Inform´atica
Campus de Teatinos s/n, 29071 M´alaga, Spain
{gallardo,merino,sanan}@lcc.uma.es
Christophe Joubert
Technical University of Valencia
DSIC / ELP
Camino de Vera, s/n, 46022 Valencia, Spain
joubert@dsic.upv.es
Abstract
A current trend in the software engineering community
is to integrate different tools in a friendly and powerful de-
velopment environment for use by final users. This is also
the case for tools based on formal methods, which are very
valuable for increasing confidence in the reliability of soft-
ware. This paper contributes to one promising approach to
make this integration possible, the project FMICS-JETI.

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences