Abstract
How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their ten maxims to answer these questions.
Original language | English |
---|---|
Title of host publication | Conquering Complexity |
Publisher | Springer-Verlag London Ltd |
Pages | 237-251 |
Number of pages | 15 |
ISBN (Electronic) | 9781447122975 |
ISBN (Print) | 9781447122968 |
DOIs | |
Publication status | Published - 1 Jan 2012 |