Formal Safety Assessment via Contract-Based Design.

Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta

Browse the full ATVA paper archive.