Computer Aided Verification
Publication year: 2007
: 978-3-540-73368-3
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
: Computer Science, Erfüllbarkeitsproblem der Aussagenlogik, Java, algorithms, automata, automated deduction, computational logic, computer aided verification, formal method, formal methods, formal program analysis, formal verification, model checking, probabilistic verification, reactive desi, verification
