Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, Fran

54.95 CHF

Versandkostenfrei

Versandkostenfreie Lieferung!

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10474414

Beschreibung

Tests from Witnesses: Execution-Based Validation of Verification Results.- An Approximation-based Approach for the Random Exploration of large models.- Static and Dynamic Verification of Relational Properties on Self-Composed C Code.- Under-Approximation Generation Driven by Relevance Predicates and variants.- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL.- Verification Coverage for Combining Test and Proof.- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report.- Formalizing (Web) Standards: An Application of Test and Proof.

Eigenschaften

Breite:	156
Gewicht:	312 g
Höhe:	236
Länge:	12
Seiten:	185
Sprachen:	Englisch
Autor:	Burkhart Wolff, Catherine Dubois

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.