EVA: a Tool for the Compositional Verification of AUTOSAR Models.

Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau

Browse the full TACAS paper archive.