Software Verification – alle Bücher

Guide to Software Verification with Frama-C

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquit…

lieferbar innerhalb 2-3 Wochen

Buch

Caroline Dominik
Embedding Sequential Circuits for their Polynomial Formal Verification

BestMasters

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

lieferbar ab 26.1.2026.

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4…

lieferbar innerhalb 2-3 Wochen

Buch

Verified Software. Theories, Tools and Experiments

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14--15, 2024.The 6 full papers, as well…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Software Engineering

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Formal Methods

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10--14, 2025.The 13 full papers and 2 sho…

lieferbar innerhalb 2-3 Wochen

Buch

Thom Frühwirth
Principles of Rule-Based Programming

The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic…

lieferbar innerhalb 2-3 Wochen

Buch