Formal Methods (FM)

A conference, workshop or journal: the thing that recurs, across all its years.

The symposium of Formal Methods Europe, held every year or two since 1987 and the broadest gathering in the field: specification, refinement, proof, and reports of what happened when these were used on real systems.

Part of Lecture Notes in Computer Science.

3 references

A Fully Verified Container Library

Nadia Polikarpova et al. (2015) · FM 2015: Formal Methods

Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created

Wolfgang Ahrendt et al. (2009) · FM 2009: Formal Methods

Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions

Ioannis T. Kassios (2006) · FM 2006: Formal Methods