This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Designer/Verifier's Assistant
July 1979 (vol. 5 no. 4)
pp. 387-401
M.S. Moriconi, Computer Science Laboratory, SRI International
Since developing and maintaining formally verified programs is an incremental activity, one is not only faced with the problem of constructing specifications, programs, and proofs, but also with the complex problem of determining what previous work remains valid following incremental changes. A system that reasons about changes must build a detailed model of each development and be able to apply its knowledge, the same kind of knowledge an expert would have, to integrate new or changed information into an existing model.
Index Terms:
question answering, Automated program verifier, automated programmer assistance, design of incremental systems, effects of incremental changes, incremental program design and verification, maintenance, program design, program specifications, program verification, proofs of programs
Citation:
M.S. Moriconi, "A Designer/Verifier's Assistant," IEEE Transactions on Software Engineering, vol. 5, no. 4, pp. 387-401, July 1979, doi:10.1109/TSE.1979.234206
Usage of this product signifies your acceptance of the Terms of Use.