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