221
Tekijä Goel, Aman, Sakallah, Karem
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...We present AVR, a push-button model checker for verifying state transition systems directly...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
222
Tekijä Beyer, Dirk
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... participating verification systems from 11 countries....”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
223
Tekijä Beyer, Dirk
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... (reachability, memory safety, overflows, termination). SV-COMP 2021 had 30 participating verification systems...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hae kokoteksti
Hae kokoteksti
Artigo
224
Tekijä Ponce-de-León, Hernán, Furbach, Florian, Heljanko, Keijo, Meyer, Roland
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... it different from other tools is that the memory model is not hard-coded inside Dartagnanbut taken as part...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
225
“... more in-depth understanding and theoretical analysis of critical issues related to algorithmic...”
Hae kokoteksti
Hae kokoteksti
Hae kokoteksti
Hae kokoteksti
Hae kokoteksti
Hae kokoteksti
Artigo
226
Tekijä Bryant, Randal E., Heule, Marijn J. H.
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... algorithms for constructing Reduced, Ordered Binary Decision Diagrams (BDDs) can be encoded as steps in a...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hae kokoteksti
Hae kokoteksti
Artigo
227
Tekijä Švejda, Jan, Berger, Philipp, Katoen, Joost-Pieter
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... of verification tools is growing constantly. This initiated research and interest into exchangeable verification...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
228
Tekijä Okudono, Takamasa, King, Andy
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...Much of an interpolation engine for bit-vector (BV) arithmetic can be constructed by observing...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
229
Tekijä Castro, David, Ferreira, Francisco, Yoshida, Nobuko
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...]-equivalent representations, and we prove type preservation for the revisited system. We develop our tool...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
230
Tekijä Bartocci, Ezio, Kovács, Laura, Stankovič, Miroslav
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...We introduce Mora, an automated tool for generating invariants of probabilistic programs. Inputs...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
231
Tekijä Benerecetti, Massimo, Dell’Erba, Daniele, Mogavero, Fabio
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...We propose a novel algorithm for the solution of mean-payoff games that merges together two...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
232
233
234
Tekijä Kaufmann, Daniela, Biere, Armin
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...AMulet 2.0 is a fully automatic tool for the verification of integer multipliers using computer...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hae kokoteksti
Hae kokoteksti
Artigo
235
Tekijä Bisping, Benjamin, Nestmann, Uwe
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... algorithm can determine the best fit of (in)equivalences for a pair of processes....”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hae kokoteksti
Hae kokoteksti
Artigo
236
Tekijä Wimmer, Simon, Mutius, Joshua von
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...Prior research has shown how to construct a mechanically verified model checker for timed automata...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)
Hae kokoteksti
Hae kokoteksti
Artigo
237
Tekijä Beneš, Nikola, Brim, Luboš, Pastva, Samuel, Šafránek, David
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... is challenging at this scale. We propose a new, symbolic algorithm that computes all the monochromatic strongly...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hae kokoteksti
Hae kokoteksti
Artigo
238
Tekijä Shi, Lei, Li, Yahui, Loo, Boon Thau, Alur, Rajeev
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...-prone task. Learning-based classification systems automatically extract such rules from positive...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hae kokoteksti
Hae kokoteksti
Artigo
239
Tekijä Lepiller, Julien, Piskac, Ruzica, Schäf, Martin, Santolucito, Mark
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... to leverage tools such as version control, automatic deployments, and program analysis for infrastructure...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2021)
Hae kokoteksti
Hae kokoteksti
Artigo
240
Tekijä Becker, Benedikt, Jeannerod, Nicolas, Marché, Claude, Régis-Gianas, Yann, Sighireanu, Mihaela, Treinen, Ralf
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2014)
“..., and removal of a package, which make them critical for system maintenance. While Debian policy provides...”Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2014)
Hae kokoteksti
Hae kokoteksti
Artigo