Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.

Computer Science. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Mathematical Logic and Formal Languages. --- Computer Systems Organization and Communication Networks. --- Computer science. --- Computer network architectures. --- Software engineering. --- Logic design. --- Informatique --- Réseaux d'ordinateurs --- Génie logiciel --- Structure logique --- Architectures --- Computer Science --- Engineering & Applied Sciences --- Computer organization. --- Computer logic. --- Mathematical logic. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Machine theory. --- Computer engineering. --- Computer networks. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Formal Languages and Automata Theory. --- Computer Engineering and Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Distributed processing --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- computers --- software engineering --- KI (kunstmatige intelligentie) --- computerkunde --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- computers --- software engineering --- KI (kunstmatige intelligentie) --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.

Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Formal methods (Computer science) --- Component software --- Software engineering. --- Computer science. --- Logic design. --- Information Systems. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Management of Computing and Information Systems. --- Computer software --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Mathematical logic. --- Computer logic. --- Programming languages (Electronic computers). --- Computer programming. --- Management information systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Communication systems --- Programming --- FACS