Home » Publication » 13924

Dettaglio pubblicazione

2018, Handbook of parallel constraint reasoning, Pages 617-632

An application of parallel satisfiability solving to the verification of complex embedded systems (02a Capitolo o Articolo)

Ferrante Orlando, Ferrari Alberto, Sofronis Christos, Mangeruca Leonardo, Benvenuti Luca

Model checking has reached a maturity level that allows its techniques to be applied to the verification of industrial systems. Several algorithms and methods have been proposed to increase its effectiveness to tackle models of increasing complexity. In this chapter we present an application of Parallel Satisfiability Solving to the verification of embedded control systems. The adopted toolchain is part of the Formal Specs Verifier framework for the formal verification of Simulink/Stateflow models. The experiments we performed show that the use of a parallel satisfiability solver allows for an average speedup of an order of magnitude or more on industrial strength models.
ISBN: 978-3-319-63515-6; 978-3-319-63516-3
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma