Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Beyond Testing: The Art and Science of Formal Verification

28,49 €*

Sofort verfügbar, Lieferzeit: 1-3 Tage

Produktnummer: 18a0c2878667304e0ca14206d3ab86ed33
Produktinformationen "Beyond Testing: The Art and Science of Formal Verification"
"Beyond Testing: The Art and Science of Formal Verification" intrigues readers by suggesting there's more to software development than meets the eye. It hints at a blend of creativity and rigor in the realm of formal verification. We can delve deeper by briefly explaining the limitations of testing. Traditional testing methods, often referred to as black-box testing, can be like throwing spaghetti at a wall – identifying bugs through various user scenarios, but not guaranteeing all errors are caught. The title emphasizes the "art and science" of formal verification. It's both a methodical approach – involving the creation of a formal model of the software system and rigorous analysis – and an art form – requiring expertise in software design and logic to identify potential flaws. This analysis could highlight the benefits of formal verification. It can be more comprehensive than testing, catching errors early in the development process and providing a higher level of confidence in the software's correctness, especially for critical systems. By moving "Beyond Testing," we discover a powerful tool for ensuring software reliability in our increasingly complex world.

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen