Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote

Tools and Algorithms for the Construction and Analysis of Systems - 1
Estado : Novo
Vendido por
4,6 3 998 vendas
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

Colocar uma questão ao vendedor
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...

58,37 €
Entrega pelo vendedor parceiro

Entrega Envio com tracking: gratuito Entregue em 2 a 3 semanas

Resumo

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-Order Theory of Rewriting.- Syntax-Guided Quantifier Instantiation.- Making Theory Reasoning Simpler.- Deductive Stability Proofs for Ordinary Differential Equations.- Tool Papers.- An SMT-Based Approach for Verifying Binarized Neural Networks.- cake lpr: Verified Propagation Redundancy Checking in CakeML.- Deductive Veri cation of Floating-Point Java Programs in KeY.- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.- SyReNN: A Tool for Analyzing Deep Neural Networks.- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.- Tool Demo Papers.- HLola: a Very Functional Tool for Extensible Stream Runtime Verification.- AMulet 2.0 for Verifying Multiplier Circuits.- RTLola on Board: Testing Real Driving Emissions on your Phone.- Replicating Restart with Prolonged Retrials: An Experimental Report.- A Web Interface for Petri Nets with Transits and Petri Games.- Momba: JANI Meets Python.- SV-Comp Tool Competition Papers.- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021).- CPALockator: Thread-Modular Approach with Projections (Competition Contribution).- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution).- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution).- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution).- Towards String Support in JayHorn (Competition Contribution).- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution).- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution).- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).


Nº de Páginas:
Encadernação: Capa Mole / Paperback
Tema: Computer science
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

Editora

Springer

Peso

0,0

Data de lançamento

04/05/2021

Série/Edição Limitada

1st ed. 2021

Idiomas

Inglês

EAN

9783030720124

Publicidade
Publicidade