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

Stefan Björnander Cristina Cerschi Seceleanu Kristina Lundqvist Paul Pettersson ABV - A Verifier for the Architecture Analysis and Design Language (AADL). 355-360 2011 ICECCS http://dx.doi.org/10.1109/ICECCS.2011.43 conf/iceccs/2011 db/conf/iceccs/iceccs2011.html#BjornanderSLP11