Verification of Sequential and Concurrent Programs by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides...
Full description
Saved in: