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

Dino Mandrioli
2004 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-540-30472-2_14 fatcat:cbd2bzchnvb6fbapk6casqc7qa