Formal Verification of Medical Device User Interfaces Using PVS.

Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

Browse the full FASE paper archive.