Industrial-Strength Formal Methods in Practice

  title={Industrial-Strength Formal Methods in Practice},
  author={Juan Bicarregui and John S. Fitzgerald and Peter A. Lindsay and Ross Moore and Bob Ritchie and Fabio Patern{\`o}},
  booktitle={Formal Approaches to Computing and Information Technology (FACIT)},
questions, at least for a proportion of the population. Their influence is still very much with us today, and their ideas are still under active discussion in philosophical research circles (see Crivelli (1996) discussing false beliefs). Aristotle was a great teacher and left many notes. Among these were those for his lectures on ethics, developed over the course of several years. While these were never finished in the form of a complete book, they are of sufficient interest to be the subject… CONTINUE READING
Highly Cited
This paper has 68 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
40 Extracted Citations
274 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 40 extracted citations

69 Citations

Citations per Year
Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 274 references

Cryptographic Protocols for Distributed Systems

  • L. Gong
  • Ph.D. dissertation,
  • 1990
Highly Influential
4 Excerpts

RAISE Tools User Guide, Technical Report LACOS/CRIIDOC/4, Computer Resources

  • P. M. Bruun
  • 1995
Highly Influential
3 Excerpts

Safeware: System Safety and Computers, Addison-Wesley

  • N. G. Leveson
  • 1995
Highly Influential
4 Excerpts

The z/EVES Reference Manual (draft)

  • M. Saaltink, I. Meisels
  • ORA Canada Technical Report TR-95-5493-03,
  • 1995
Highly Influential
3 Excerpts

A Computational Logic Handbook, 2nd edition

  • R. S. Boyer, Moore, S J
  • 1998

Similar Papers

Loading similar papers…