Muutke küpsiste eelistusi

E-raamat: Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 4,08 €*
  • * 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.
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part IISuurem 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 open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.





The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. 





TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.





 
Probabilistic Systems.- A Probabilistic Logic for Verifying
Continuous-time Markov Chains.- Under-Approximating Expected Total Rewards in
POMDPs.- Correct Probabilistic Model Checking with Floating-Point
Arithmetic.- Correlated Equilibria and Fairness in Concurrent Stochastic
Games.- Omega Automata.- A Direct Symbolic Algorithm for Solving Stochastic
Rabin Games.- Practical Applications of the Alternating Cycle Decomposition.-
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi
Automata Complementation.- On-The-Fly Solving for Symbolic Parity Games.-
Equivalence Checking.- Distributed Coalgebraic Partition Refinement.- From
Bounded Checking to Verification of Equivalence via Symbolic Up-to
Techniques.- Equivalence Checking for Orthocomplemented Bisemilattices in
Log-Linear Time.- Monitoring and Analysis.- A Theoretical Analysis of Random
Regression Test Prioritization.- Verified First-Order Monitoring with
Recursive Rules.- Maximizing Branch Coverage withConstrained Horn Clauses.-
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault
Propagation.- Tools | Optimizations, Repair and Explainability.- Adiar:
Binary Decision Diagrams in External Memory.- Forest GUMP: A Tool for
Explanation.- Alpinist: an Annotation-Aware GPU Program Optimizer.- Automatic
Repair for Network Programs.- 11th Competition on Software Verification |
SV-COMP 2022.- Progress on Software Verification: SV-COMP 2022.- AProVE:
Non-Termination Witnesses for C Programs (Competition Contribution).- BRICK:
Path Enumeration Based Bounded Reachability Checking of C Program
(Competition Contribution).- A Prototype for Data Race Detection in CSeq 3
(Competition Contribution).- Dartagnan: SMT-based Violation Witness
Validation (Competition Contribution).- Deagle: An SMT-based Veri er for
Multi-threaded Programs (Competition Contribution).- The Static Analyzer
Frama-C in SV-COMP (Competition Contribution).- GDart: An Ensemble of Tools
for Dynamic Symbolic Execution on the Java Virtual Machine (Competition
Contribution).- Graves-CPA: A Graph-Attention Veri er Selector (Competition
Contribution).- GWIT: A Witness Validator for Java based on GraalVM
(Competition Contribution).- The Static Analyzer Infer in SV-COMP
(Competition Contribution).- LART: Compiled Abstract Execution (Competition
Contribution).- Symbiotic 9: String Analysis and Backward Symbolic Execution
with Loop Folding (Competition Contribution).- Symbiotic-Witch: A Klee-Based
Violation Witness Checker (Competition Contribution).- Theta: portfolio of
CEGAR-based analyses with dynamic algorithm selection.- Ultimate GemCutter
and the Axes of Generalization (Competition Contribution).- Wit4Java: A
Violation-Witness Validator for Java Verifiers (Competition Contribution).
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830309952702e.html
Märksõnad: