Highly Influenced

# Annotations in Formal Specifications and Proofs

@article{Kalvala1994AnnotationsIF, title={Annotations in Formal Specifications and Proofs}, author={Sara Kalvala}, journal={Formal Methods in System Design}, year={1994}, volume={5}, pages={119-144} }

- Published 1994 in Formal Methods in System Design
DOI:10.1007/BF01384236

Formal specification languages and proof methodologies are useful tools in reasoning about different domains: they provide a precise notation in which to express facts, and rigorous procedures with which to ascertain correctness properties of claims made. However, there are several drawbacks to such methods: formal languages make it difficult to express the richness of description of problems and facts, and inferences in these systems are made by choosing from a limited set of small logical… CONTINUE READING

#### From This Paper

##### Figures, tables, and topics from this paper.

5 Citations

13 References

Similar Papers