Choose an application

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

Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.

Formal methods (Computer science) --- Computer software --- Méthodes formelles (Informatique) --- Logiciels --- Congresses. --- Testing --- Congrès --- Essais --- Information Technology --- Software Engineering --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Management information systems. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Logics and Meanings of Programs. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication systems --- Logic design. --- Information Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programs. --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files

Choose an application

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

Computer. Automation --- embedded systems

Choose an application

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

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.

Artificial intelligence. --- Special purpose computers. --- Architecture, Computer. --- Natural language processing (Computer science). --- Data structures (Computer science). --- Artificial Intelligence. --- Special Purpose and Application-Based Systems. --- Computer System Implementation. --- Natural Language Processing (NLP). --- Data Structures and Information Theory. --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Architecture, Computer --- Special purpose computers --- Computers --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Choose an application

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

This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006.The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions for inclusion in the book. The workshop discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology. The papers are organized in topical sections on model driven development and embedded systems, software engineering for embedded systems, and composition technologies.

Information Technology --- Software Engineering --- Embedded computer systems --- Real-time data processing --- Computers --- Electronic data processing --- Electrical Engineering --- Computer Science --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Reliability --- Distributed processing --- Fast-response data processing --- High-speed data processing --- Embedded systems (Computer systems) --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication

Choose an application

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

Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001-2003 and 2005-2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.

Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- informatica management