Verification-Driven Design Across Abstraction Levels: A Case Study.

Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler

Browse the full DSD paper archive.