In a 2018 article in the journal on Software & Systems Modeling we discussed the use of DSLs and language workbenches in the context of safety-critical software development. Language workbenches support the efficient creation, integration, and use of domain-specific languages. Typically, they execute models by code ...

Software verification received lots of attention in the past two decades. Nonetheless, it remains an extremely difficult problem. Some verification tasks cannot be solved automatically by any of today’s verifiers. To still verify such tasks, one can combine the strengths of different verifiers. A promising approach to ...