Introducing formal methods - a less mathematical approach

The software engineering background software specification and verification informal methods formal methods - what are they? some discrete mathematics a more detailed look at formal methods applications to program specification and verification software prototyping.