Verification: Theory and Practice by Nachum Dershowitz

Verification: Theory and Practice by Nachum Dershowitz
Springer; 2004 edition | February 24, 2004 | English | ISBN: 3540210024 | 795 pages | PDF | 9 MB

The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis






Share this