Formal Verification of Abstract System and Protocol Specifications.

Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knblein, Reynaldo Zavala

Browse the full SEW paper archive.