FoCaLiZe: Inside an F-IDE

  title={FoCaLiZe: Inside an F-IDE},
  author={François Pessaux},
For years,IntegratedDevelopment Environments have demonstrated their usefulness in order to ease the development of software. High-level security or safety systems require proofs of compliance to standards, based on analyses such as code review and, increa s gly nowadays, formal proofs of conformance to specifications. This implies mixing computa tional and logical aspects all along the development, which naturally raises the need for a notion of Formal IDE. This paper examines the FoCaLiZe… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS

From This Paper

Topics from this paper.


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

Pessaux (2009):Development of a Generic Voter under FoCal

  • Philippe Ayrault, Thérèse Hardin, François
  • In: TAP’09,
  • 2009
2 Excerpts

Making Proofs in a hierarchy of Mathematical Structures

  • V. Prevosto, M. Jaume
  • Proceedings of the 11th Calculemus Symposium
  • 2003
2 Excerpts

2000):Sṕecification d’un environnement d é íe à la programmation

  • S. Boulmé
  • certifí ee de biblioth̀eques de Calcul Formel…
  • 2000
2 Excerpts

1993):How to Write a Proof

  • L. Lamport
  • Research report,
  • 1993
2 Excerpts

Similar Papers

Loading similar papers…