ABV - A Verifier for the Architecture Analysis and Design Language (AADL).

Stefan Bjrnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson

Browse the full ICECCS paper archive.