Computer Aided Verification (vol. # 3576)
Publication year: 2005
ISBN: 978-3-540-31686-2
Internet Resource: Please Login to download book
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation.
Subject: Computer Science, Compiler, Erfüllbarkeitsproblem der Aussagenlogik, Syntax, algorithms, automata, automated deduction, computational logic, computer aided verification, formal methods, formal program analysis, formal verification, hardware verification, microprocessor, petri net, verification
