Zoltán Micskei

State space-based methods for validating model transformations in model checkers

Formal methods, including model checking, are rapidly gaining importance, especially in safety-critical domains like aerospace and automotive. Consequently, the systems to be verified are growing more complex and are described in diverse design languages, often expressive and ambiguous. However, model checkers oper...