Verification of sequential and concurrent programs
Computer programs are becoming more and more part of systems that we rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenge for computer science is to develop methods that ensure program correctness. This textbook addresses this …
Not available to read online
This scan is restricted to patrons with print disabilities and can't be borrowed with a regular free account — signing up won't unlock it. Try Toronto Public Library, Libby, or Amazon above instead.
