| 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.） |
| Tutorials Model-Based Development: Combining Engineering Approaches and Formal Techniques Tutorial on the RAISE Language, Method and Tools Model-Based Testing with Specie Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method Tutorial: Software Model Checking Invited Talks Engineering Quality Software When Can Formal Methods Make a Real Difference? On the Adoption of Formal Methods by Industry: The ACL2 Experience A CLP Approach to Modelling Systems Full Papers Multi-prover Verification of C Programs Memory-Model-Sensitive Data Race Analysis Formal Models for Web Navigations with Session Control and Browser Cache Managing Verification Activities Using SVM A General Model for Reachability Testing of Concurrent Programs A Knowledge Based Analysis of Cache Coherence A Propositional Logic-Based Method for Verification of Feature Models Deriving Probabilistic Semantics Via the 'Weakest Completion' CSP Representation of Game Semantics for Second-Order Idealized Algol An Equational Calculus for Alloy Guiding Spin Simulation Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains Software Model Checking Using Linear Constraints Counterexample Guided Abstraction Refinement Via Program Execution Faster Analysis of Formal Specifications Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata Learning to Verify Safety Properties Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions Author Index |
内容加载中，请稍后...
商品评论（0条）