Formal Methods Group ETH Zürich
Armin Biere, Cyrille Valentin Artho, Malek Haroud, Viktor Schuppan · Electronic Notes in Theoretical Computer Science · 2003
In this short note we give an overview on past and ongoing projects in the context of formal methods for industrial critical systems of the Formal Methods Group of the Computer Systems Institute at ETH Zürich.