Combining Forces: How to Formally Verify Informally Defined Embedded Systems.

Paula Herber, Timm Liebrenz, Julius Adelt

Browse the full FM paper archive.