Choose an application

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

Computer systems --- Computer software --- 681.3*H1 --- 681.3*F4 --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*H1 Models and principles (Information systems) --- Models and principles (Information systems) --- Software verification --- Verification of software --- Verification of computer systems --- Verification. --- Systèmes informatiques --- Vérification --- Verification --- Systèmes informatiques --- Vérification --- Computer science --- Logiciels --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer systems - Verification --- Computer software - Verification

Choose an application

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

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.

Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer simulation. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Algorism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Computer software engineering --- Informatics --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Algebra --- Arithmetic --- Electronic data processing --- Languages, Artificial --- Engineering --- Science --- Foundations --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Choose an application

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

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. .

Software engineering. --- Computer science. --- Computers, Special purpose. --- Programming languages (Electronic computers). --- Microprogramming. --- Natural language processing (Computer science). --- Software Engineering. --- Computer Science Logic and Foundations of Programming. --- Special Purpose and Application-Based Systems. --- Programming Language. --- Control Structures and Microprogramming. --- Natural Language Processing (NLP). --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Computer programming --- Special purpose computers --- Computers --- Informatics --- Science --- Computer software engineering --- Engineering --- Formal methods (Computer science) --- System design

Choose an application

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

ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

System design --- Computer software --- Systèmes, Conception de --- Logiciels --- Congresses. --- Development --- Congrès --- Développement --- Computer Science --- Engineering & Applied Sciences --- Systèmes, Conception de --- Congrès --- Développement --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Algorithms. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Software Engineering. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Information theory. --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Algorism --- Algebra --- Arithmetic --- 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 --- 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 --- Calculators --- Cyberspace --- Foundations --- Distributed processing --- System design - Congresses --- Computer software - Development - Congresses --- Computer networks.

Choose an application

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

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- ontwerpen --- programmeren (informatica) --- informatiesystemen --- programmeertalen --- software engineering --- KI (kunstmatige intelligentie) --- computernetwerken --- robots --- Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses. --- Congrès --- EPUB-LIV-FT LIVINFOR SPRINGER-B