Book Details

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Publication year: 2008

ISBN: 978-3-540-78800-3

Internet Resource: Please Login to download book


The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.


Subject: Computer Science, Software Engineering, Programming and Operating Systems, Logics and Meanings of Programs, Computer Communication Networks, Algorithm Analysis and Problem Complexity, Erfüllbarkeitsproblem der Aussagenlogik, Satisfiability problem of propositional logic, abstraction, algorithms, automata, distributed systems, genetic programming, learning, logic, programming theory, real-time systems, regular languages, statistical methods, systems analysis, systems development, verification, algorithm analysis and problem complexity