会议文集


文集名Tools and Algorithms for the Construction and Analysis of Systems
会议名28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022)
中译名《第二十八届国际系统结构与分析的工具及算法会议，卷2》
机构European Association for Theoretical Computer Science (EATCS)
会议日期April 2-7, 2022
会议地点Munich, Germany
出版年2022
馆藏号343445


题名作者出版年
A Probabilistic Logic for Verifying Continuous-time Markov ChainsJi Guan; Nengkun Yu2022
Under-Approximating Expected Total Rewards in POMDPsAlexander Bork; Joost-Pieter Katoen; Tim Quatmann2022
Correct Probabilistic Model Checking with Floating-Point ArithmeticArnd Hartmanns2022
Correlated Equilibria and Fairness in Concurrent Stochastic GamesMarta Kwiatkowska; Gethin Norman; David Parker; Gabriel Santos2022
A Direct Symbolic Algorithm for Solving Stochastic Rabin GamesTamajit Banerjee; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani2022
Practical Applications of the Alternating Cycle DecompositionAntonio Casares; Alexandre Duret-Lutz; Klara J. Meyer; Florian Renkin; Salomon Sickert2022
Sky Is Not the Limit Tighter Rank Bounds for Elevator Automata in Buchi Automata ComplementationVojtech Havlena; Ondrej Lengal; Barbora Smahlikova2022
On-The-Fly Solving for Symbolic Parity GamesMaurice Laveaux; Wieger Wesselink; Tim A. C. Willemse2022
Distributed Coalgebraic Partition RefinementFabian Birkmann; Hans-Peter Deifel; Stefan Milius2022
From Bounded Checking to Verification of Equivalence via Symbolic Up-to TechniquesVasileios Koutavas; Yu-Yang Lin; Nikos Tzevelekos2022
Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear TimeSimon Guilloud; Viktor Kuncak2022
A Theoretical Analysis of Random Regression Test PrioritizationPu Yi; Hao Wang; Tao Xie; Darko Marinov; Wing Lam2022
Verified First-Order Monitoring with Recursive RulesSheila Zingg; Srdan Krstic; Martin Raszyk; Joshua Schneider; Dmitriy Traytel2022
Maximizing Branch Coverage with Constrained Horn ClausesIlia Zlatkin; Grigory Fedyukovich2022
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault PropagationMarco Bozzano; Alessandro Cimatti; Alberto Griggio; Martin Jonas2022
Adiar Binary Decision Diagrams in External MemorySteffan Christ Solvsten; Jaco van de Pol; Anna Blume Jakobsen; Mathias Weller Berg Thomasen2022
Forest GUMP: A Tool for ExplanationAlnis Murtovi; Alexander Bainczyk; Bernhard Steffen2022
Alpinist: an Annotation-Aware GPU Program OptimizerOmer Sakar; Mohsen Safari; Marieke Huisman; Anton Wijs2022
Automatic Repair for Network ProgramsLei Shi; Yuepeng Wang; Rajeev Alur; Boon Thau Loo2022
Progress on Software Verification: SV-COMP 2022Dirk Beyer2022
12



制造业外文文献服务平台