• Armand Puccetti
Part of the Research Reports ESPRIT book series (ESPRIT, volume 1)


As a conclusion to many pages of formal material, we should like to offer some personal comments on what has been achieved and what remains to be done.


Proof System Personal Comment Concurrent Program Software Maintenance Automatic Verification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© ECSC - EEC - EAEC, Brussels - Luxembourg 1991

Authors and Affiliations

  • Armand Puccetti
    • 1
  1. 1.CISI IngénierieRungis CedexFrance

Personalised recommendations