Tests and Proofs
-15%
portes grátis
Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Dubois, Catherine; Wolff, Burkhart
Springer International Publishing AG
06/2018
185
Mole
Inglês
9783319929934
15 a 20 dias
454
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Artificial intelligence;Software;Computer aided software engineering;Computer programming;Formal logic;Model checking;Problem solving;verification;specification;semantics;formal logic;formal methods;internet;formal verifications
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
