We release the first tool suite implementing MoXI (Model eXchange Interlingua), an
intermediate language for symbolic model checking designed to be an international …

Transformation plays a key role in verification technology, conveying information across
different abstraction layers and underpinning the correctness, efficiency, and usability of …

MoXI is a new intermediate verification language introduced in 2024 to promote the
standardization and open-source implementations for symbolic model checking by …

This position paper accompanies a presentation and discussion at AISOLA 2023 on the
topic of how (generative) AI influences software engineering, namely, the development and …

This position paper accompanies a presentation and discussion at AISoLA 2023 on the topic
of how (generative) AI influences software engineering, namely, the development and …

Modern technology relies heavily on the integration of hardware and software systems, from
embedded devices in consumer electronics to safety-critical controllers. Despite their …