Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote

Estado :
Novo
Vendido por
País de expedição : Reino Unido
Comentários do vendedor
Livro novo; R�pido do Reino Unido; N�o ficar� desapontado - New book; Fast from the UK; Will not be disappointed
Resumo
Ver tudo
Tools and Algorithms for the Construction and Analysis of Systems
Verification Techniques (not SMT).- Directed Reachability for Infinite-State Systems.- Bridging Arrays and ADTs in Recursive Proofs.- A Two-Phase Approach for Conditional Floating-Point Verification.- Symbolic Coloured SCC Decomposition.- Case Studies.- Local Search with a SAT Oracle for Combinatorial Optimization.- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities.- Proof Generation/Validation.- Certifying Proofs in the First...
Verification Techniques (not SMT).- Directed Reachability for Infinite-State Systems.- Bridging Arrays and ADTs in Recursive Proofs.- A Two-Phase Approach for Conditional Floating-Point Verification.- Symbolic Coloured SCC Decomposition.- Case Studies.- Local Search with a SAT Oracle for Combinatorial Optimization.- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities.- Proof Generation/Validation.- Certifying Proofs in the First...
Tools and Algorithms for the Construction and Analysis of...
Resumo
Publicidade
Avaliações dos nossos clientes
Tools and Algorithms for the Construction and Analysis of Systems
Sê o primeiro a dar
a tua opinião sobre este produto
Características
Publicidade
Publicidade