The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2007)
Auckland, New Zealand
July 11, 2007 to July 14, 2007
ISBN: 0-7695-2895-3
pp: 321-329
Christophe Joubert , Technical University of Valencia, Spain
David Sanán , University of Malaga, Spain
María del Mar Gallardo , University of Malaga, Spain
Pedro Merino , University of Malaga, Spain
ABSTRACT
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development 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 software. This paper contributes to one promising approach to make this integration possible, the project FMICS-JETI. This project aims to obtain an active repository of tools based on formal methods in such a way that users can access and combine all the tools simply by defining a graph with the tools and the files they manage. In particular, the paper explains how two new modules of the well known toolset CADP are added to FMICS-JETI. These new modules, named C.OPEN and ANNOTATOR extend CADP with functions to manage C programs in this toolset.
INDEX TERMS
null
CITATION
Christophe Joubert, David Sanán, María del Mar Gallardo, Pedro Merino, "On-the-fly model checking for C programs with extended CADP in FMICS-jETI", Engineering of Complex Computer Systems, IEEE International Conference on, vol. 00, no. , pp. 321-329, 2007, doi:10.1109/ICECCS.2007.32
87 ms
(Ver 3.3 (11022016))