IEEE - Institute of Electrical and Electronics Engineers, Inc. - Analyzing formal requirements specifications using an off-the-shelf model checker

2013 XXXIX Latin American Computing Conference (CLEI)

Author(s): Gaston Scilingo ; Maria Marta Novaira ; Renzo Degiovanni ; Nazareno Aguirre
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2013
Conference Location: Naiguata, Venezuela
Conference Date: 7 October 2013
Page(s): 1 - 9
ISBN (CD): 978-1-4799-2956-6
ISBN (Electronic): 978-1-4799-1340-4
ISBN (Paper): 978-1-4799-2957-3
DOI: 10.1109/CLEI.2013.6670611
Regular:

We study the use of an off-the-shelf formal verification tool, namely the explicit-state model checker SPIN, for various analyses related to SCR (Software Cost Reduction) formal requirements... View More

Advertisement