Abstract:
The FORMAN formal annotation language is a tool for program testing, debugging, verification and documentation. It is based on a semantic model of target program executio...Show MoreMetadata
Abstract:
The FORMAN formal annotation language is a tool for program testing, debugging, verification and documentation. It is based on a semantic model of target program execution. A sequence of events serves for this model. Assertions about data and control flows in this target program can be written in this language. Pattern matching and aggregate operations constitute the core of the language. Libraries of assertions can be used for program static and dynamic analysis, e.g., to check the presence of typical bugs.<>
Published in: [1991] Proceedings the Fifth Israel Conference on Computer Systems and Software Engineering
Date of Conference: 28-29 May 1991
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-2065-X