Automated Technology for Verification and Analysis

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

AvZhe Hou,Vijay Ganesh

Häftad, Engelska, 2021

Del 12971 i serien Lecture Notes in Computer Science

820 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.

Produktinformation

Utgivningsdatum:2021-10-14
Mått:155 x 235 x 27 mm
Vikt:612 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:382
Förlag:Springer Nature Switzerland AG
ISBN:9783030888848

Utforska kategorier

Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT
Hårdvara inom Data och IT

Innehållsförteckning

Invited Paper.- Linear Temporal Logic – From Infinite to Finite Horizon.- Automata Theory.- Determinization and Limit-determinization of Emerson-Lei automata.- Automatic discovery of fair paths in infinite-state transition systems.- Certifying DFA Bounds for Recognition and Separation.- Machine Learning for Formal Methods.- AALpy: An Active Automata Learning Library.- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach.- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems.- Theorem Proving and Tools.- A Formal Semantics of the GraalVM Intermediate Representation.- A Verified Decision Procedure for Orders in Isabelle/HOL.- PJBDD: A BDD Library for Java and Multi-Threading.- Model Checking.- Live Synthesis.- Faster Pushdown Reachability Analysis with Applications in Network Verification.- Verifying Verified Code.- Probabilistic Analysis.- Probabilistic causes in Markov Chains.- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.- AQUA: Automated Quantized Inference for Probabilistic Programs.- Software and Hardware Verification.- Proving SIFA Protection of Masked Redundant Circuits.- Verification by Gambling on Program Slices.- Runtime Enforcement of Hyperproperties.- System Synthesis and Approximation.- Compositional Synthesis of Modular Systems.- Event-B Refinement for Continuous Behaviours Approximation.- Incorporating Monitors in Reactive Synthesis without Paying the Price.- Verification of Machine Learning.- pyNever: a Framework for Learning and Verification of Neural Networks.- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.