Advertising Formal Methods and Organizing Their Teaching: Yes, but ...

This position paper aims to address most of the “challenges” suggested by the conference’s CFP plus a few others. The style is deliberately informal and colloquial, occasionally even provocative: for every examined point some obvious agreement is given for granted but a few, more controversial, “counterpoints” are raised and hints are suggested for deeper discussion. At the end a constructive synthesis is attempted.

• Type: Conference
• Year: 2004
• Where: TFM
• Authors: Dino Mandrioli
• Keywords: Examined Point, Formal Methods, Obvious Agreement, Position Paper, TFM 2004