Towards a verification framework for faulty message passing systems in PVS

Concetta Pilotto, Jerome White

Research output: Contribution to journalReview articlepeer-review

Fingerprint Dive into the research topics of 'Towards a verification framework for faulty message passing systems in PVS'. Together they form a unique fingerprint.

Engineering & Materials Science