Muutke küpsiste eelistusi

E-raamat: Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 80,26 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions.





The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.
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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830308888556e.html
Märksõnad: