Formal Methods in Hardware Design Mary Sheeran, Chalmers www.cs.chalmers.se/~ms Formal Methods Mathematical and logical methods used in system development Aim to increase…
