Verification, Model Checking, and Abstract Interpretation
portes grátis
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Wolff, Sebastian; Dimitrova, Rayna; Lahav, Ori
Springer International Publishing AG
01/2024
340
Mole
Inglês
9783031505201
15 a 20 dias
Descrição não disponível.
Concurrency.- Petrification: Software Model Checking for Programs with Dynamic Thread Management.- A Fully Verified Persistency Library.- A Navigation Logic for Recursive Programs with Dynamic Thread Creation.- Neural Networks.- Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.- Verification of Neural Networks' Local Differential Classification Privacy.- AGNES: Abstraction-guided Framework for Deep Neural Network Security.- Probabilistic and Quantum Programs Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach.- Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs.- Program and System Verification.- Deductive Verification of Parameterized Embedded Systems modeled in SystemC.- Automatically Enforcing Rust Trait Properties.- Borrowable Fractional Ownership Types for Verification.- Runtime Verification.- TP-DejaVu: Combining Operational and Declarative Runtime Verification.- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.- Security and Privacy.- Automatic and Incremental Repair for Speculative Information Leaks.- Sound Abstract Nonexploitability Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;mathematics;model checking;parallel processing systems;program compilers;programming languages;software architecture;software design;software engineering;software quality;verification and validation
Concurrency.- Petrification: Software Model Checking for Programs with Dynamic Thread Management.- A Fully Verified Persistency Library.- A Navigation Logic for Recursive Programs with Dynamic Thread Creation.- Neural Networks.- Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.- Verification of Neural Networks' Local Differential Classification Privacy.- AGNES: Abstraction-guided Framework for Deep Neural Network Security.- Probabilistic and Quantum Programs Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach.- Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs.- Program and System Verification.- Deductive Verification of Parameterized Embedded Systems modeled in SystemC.- Automatically Enforcing Rust Trait Properties.- Borrowable Fractional Ownership Types for Verification.- Runtime Verification.- TP-DejaVu: Combining Operational and Declarative Runtime Verification.- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.- Security and Privacy.- Automatic and Incremental Repair for Speculative Information Leaks.- Sound Abstract Nonexploitability Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;mathematics;model checking;parallel processing systems;program compilers;programming languages;software architecture;software design;software engineering;software quality;verification and validation
