TY - GEN
T1 - Ten commandments ten years on
T2 - Lessons for ASM, B, Z and VSR-net
AU - Bowen, Jonathan P.
AU - Hinchey, Michael G.
PY - 2009
Y1 - 2009
N2 - Just over a decade ago, a paper Ten Commandments of Formal Methods [16] suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or "commandments") for formal developers to consider and follow, based on our knowledge of several industrial application success stories, most of which have been reported in more detail in two books [32,33]. The paper was surprisingly popular, is still widely referenced, and used as required reading in a number of formal methods courses. However, not all have agreed with some of our commandments, feeling that they may not be valid in the long-term. We re-examine the original commandments over ten years on, and consider their validity in the light of a further decade of industrial best practice and experiences, especially with respect to formal notations like ASM, B and Z. We also cover the activities of the UK Verified Software Repository Network (VSR-net) in the context of UK Grand Challenge 6 on Dependable Systems Evolution.
AB - Just over a decade ago, a paper Ten Commandments of Formal Methods [16] suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or "commandments") for formal developers to consider and follow, based on our knowledge of several industrial application success stories, most of which have been reported in more detail in two books [32,33]. The paper was surprisingly popular, is still widely referenced, and used as required reading in a number of formal methods courses. However, not all have agreed with some of our commandments, feeling that they may not be valid in the long-term. We re-examine the original commandments over ten years on, and consider their validity in the light of a further decade of industrial best practice and experiences, especially with respect to formal notations like ASM, B and Z. We also cover the activities of the UK Verified Software Repository Network (VSR-net) in the context of UK Grand Challenge 6 on Dependable Systems Evolution.
UR - http://www.scopus.com/inward/record.url?scp=77949798114&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-11447-2_14
DO - 10.1007/978-3-642-11447-2_14
M3 - Conference contribution
AN - SCOPUS:77949798114
SN - 3642114466
SN - 9783642114465
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 219
EP - 233
BT - Rigorous Methods for Software Construction and Analysis - Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
A2 - Abrial, Jean-Raymond
A2 - Glasser, Uwe
ER -