| The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and Societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its sub series LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes - Proceedings（published in time for the respective conference） - Post-proceedings（consisting of thoroughly revised final full papers） -research monographs（which may be based on outstanding PhD work, research projects, technical reports, etc.）. |
| Invited Talks Randomized Algorithms for Program Analysis and Verification Validating a Modern Microprocessor Algorithmic Algebraic Model Checking I: Challenges from SystemsBiology Tools Competition SMT-COMP: Satisfiability Modulo Theories Competition Abstraction and Refinement Predicate Abstraction via Symbolic Decision Procedures Interpolant-Based Transition Relation Approximation Concrete Model Checking with Abstract Matching and Refinement Abstraction for Falsification Bounded Model Checking Bounded Model Checking of Concurrent Programs Incremental and Complete Bounded Model Checking for Pull PLTL Abstraction Refinement for Bounded Model Checking Symmetry Reduction in SAT-Based Model Checking Tool Papers I Saturn: A SAT-Based Tool for Bug Detection JVer: A Java Verifier Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework Wolf- Bug Hunter for Concurrent Software Using Formal Methods Model Checking x86 Executables with CodeSurfer/x86 and WPDS The ComFoRT Reasoning Framework Verification of Hardware, Microcode, and Synchronous Systems Formal Verification of Pentium 4 Components with Symbolic Simulation and Inductive Invariants Formal Verification of Backward Compatibility of Microcode Compositional Analysis of Floating-Point Linear Numerical Filters …… Games and Probabilistic Verification Tool papers II Decision Procedures and Applications Automata and Transition Systems Tool Papers III Program Analysis and Verification I Program Analysis and Verification II Applications of Learning Author Index |
内容加载中，请稍后...
商品评论（0条）