Research Center for Architecture-Oriented Formal Methods