Thinking Programs

G.O'Regan,Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications. Undergraduate Topics in Computer Science ... S. Ray, Scalable Techniques for Formal Verification (Springer. New York (2010). https://doi.

Formal Methods

The lack of a (publicly available) set of nicely scalable models is a problem in general when analysing and designing formal verification techniques. – Models with a relatively small number of parallel processes were considered.