Browsing Computer science and engineering by Subject "Formal Methods; Specification; Verification"
Now showing items 1-1 of 1
-
Reducing the Usability Barrier to Specification and Verification
A program specification is a contract between a client and a program, which describes how the program can or will behave given input from the client. In practice, formal (machine-verified) specifications take more effort ...