Browsing by subject Theorem proving
Showing results 1 to 3 of 3.
|2014||An institution for Alloy and its translation to second-order logic||Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.||Book part||Open access|
|2017||Demonstrating that medical devices satisfy user related safety requirements||Harrison, Michael douglas; Masci, Paolo; Campos, José C., et al.||Conference paper||Open access|
|Dec-2017||Verification of user interface software: the example of use-related safety requirements and programmable medical devices||Harrison, Michael douglas; Masci, Paolo; Campos, José C., et al.||Article||Open access|