Symbolic Coloured SCC Decomposition

nork Beneš, Nikola, Brim, Luboš, Pastva, Samuel, Šafránek, David
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)

SAT Solving with GPU Accelerated Inprocessing

nork Osama, Muhammad, Wijs, Anton, Biere, Armin
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)

Bounded Model Checking for Hyperproperties

nork Hsu, Tzu-Han, Sánchez, César, Bonakdarpour, Borzoo
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)

Analysis of Markov Jump Processes under Terminal Constraints

nork Backenköhler, Michael, Bortolussi, Luca, Großmann, Gerrit, Wolf, Verena
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)

A Flexible Proof Format for SAT Solver-Elaborator Communication

nork Baek, Seulkee, Carneiro, Mario, Heule, Marijn J. H.
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)

Multi-objective Optimization of Long-run Average and Total Rewards

nork Quatmann, Tim, Katoen, Joost-Pieter
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)

Revisiting Underapproximate Reachability for Multipushdown Systems

nork Akshay, S., Gastin, Paul, Krishna, S, Roychowdhury, Sparsa
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning

nork Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic

nork Okudono, Takamasa, King, Andy
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

Automated Verification of Parallel Nested DFS

nork Oortwijn, Wytse, Huisman, Marieke, Joosten, Sebastiaan J. C., van de Pol, Jaco
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering

nork Beyer, Dirk, Wendler, Philipp
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

EMTST: Engineering the Meta-theory of Session Types

nork Castro, David, Ferreira, Francisco, Yoshida, Nobuko
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)

nork Ponce-de-León, Hernán, Furbach, Florian, Heljanko, Keijo, Meyer, Roland
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

What’s Decidable About Program Verification Modulo Axioms?

nork Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

Analysing installation scenarios of Debian packages

nork Becker, Benedikt, Jeannerod, Nicolas, Marché, Claude, Régis-Gianas, Yann, Sighireanu, Mihaela, Treinen, Ralf
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2014)

Highly Automated Formal Proofs over Memory Usage of Assembly Code

nork Verbeek, Freek, Bockenek, Joshua A., Ravindran, Binoy
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

An O(m log n) algorithm for branching bisimilarity on labelled transition systems

nork Jansen, David N., Groote, Jan Friso, Keiren, Jeroen J. A., Wijs, Anton
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

SyReNN: A Tool for Analyzing Deep Neural Networks

nork Sotoudeh, Matthew, Thakur, Aditya V.
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)

Directed Reachability for Infinite-State Systems

nork Blondin, Michael, Haase, Christoph, Offtermatt, Philip
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)

Local Search with a SAT Oracle for Combinatorial Optimization

nork Cohen, Aviad, Nadel, Alexander, Ryvchin, Vadim
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2021)