CertiCAN: A Tool for the Coq Certification of CAN Analysis Results.

Pascal Fradet, Xiaojie Guo, Jean-Franois Monin, Sophie Quinton

Browse the full RTAS paper archive.