Towards a verification flow across abstraction levels verifying implementations against their formal specification

Pablo Gonzalez-De-Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sanchez

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Towards a verification flow across abstraction levels verifying implementations against their formal specification'. Together they form a unique fingerprint.

Computer Science