Computer Aided Verification. Part I

Abstract

AI Verification NNV: The Neural Network Verification Tool, Verification of Deep Convolutional Neural Networks Using ImageStars. An Abstraction-Based Framework for Neural Network Verification. Blockchain and Security The Move Prover, End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract. Concurrency Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems Refinement for Structured Concurrent Programs. Hardware Verification and Decision Procedures fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components. Hybrid and Dynamic Systems SAW: A Tool for Safety Analysis of Weakly-Hard Systems.