Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

由 Peruffo, Andrea, Ahmed, Daniele, Abate, Alessandro
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

由 Majumdar, Rupak, Thinniyam, Ramanathan S., Zetzsche, Georg
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

Finding Provably Optimal Markov Chains

由 Spel, Jip, Junges, Sebastian, Katoen, Joost-Pieter
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

由 Andriushchenko, Roman, Češka, Milan, Junges, Sebastian, Katoen, Joost-Pieter
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

MUST: Minimal Unsatisfiable Subsets Enumeration Tool

由 Bendík, Jaroslav, Černá, Ivana
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)

Safe Decomposition of Startup Requirements: Verification and Synthesis

由 Cimatti, Alessandro, Geatti, Luca, Griggio, Alberto, Kimberly, Greg, Tonetta, Stefano
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)

Endicheck: Dynamic Analysis for Detecting Endianness Bugs

由 Kápl, Roman, Parízek, Pavel
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities

由 Lepiller, Julien, Piskac, Ruzica, Schäf, Martin, Santolucito, Mark
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts

由 Ashok, Pranav, Jackermeier, Mathias, Křetínský, Jan, Weinhuber, Christoph, Weininger, Maximilian, Yadav, Mayank
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

Making Theory Reasoning Simpler

由 Reger, Giles, Schoisswohl, Johannes, Voronkov, Andrei
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

Resilient Capacity-Aware Routing

由 Schmid, Stefan, Schnepf, Nicolas, Srba, Jiří
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

Improving Neural Network Verification through Spurious Region Guided Refinement

由 Yang, Pengfei, Li, Renjue, Li, Jianlin, Huang, Cheng-Chao, Wang, Jingyi, Sun, Jun, Xue, Bai, Zhang, Lijun
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers

由 Ahmed, Daniele, Peruffo, Andrea, Abate, Alessandro
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)

Practical Machine-Checked Formalization of Change Impact Analysis

由 Palmskog, Karl, Celik, Ahmet, Gligoric, Milos
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)

How Many Bits Does it Take to Quantize Your Neural Network?

由 Giacobbe, Mirco, Henzinger, Thomas A., Lechner, Mathias
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

由 Nishida, Yuki, Saito, Hiromasa, Chen, Ran, Kawata, Akira, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

由 Scott, Joseph, Niemetz, Aina, Preiner, Mathias, Nejati, Saeed, Ganesh, Vijay
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

cake_lpr: Verified Propagation Redundancy Checking in CakeML

由 Tan, Yong Kiam, Heule, Marijn J. H., Myreen, Magnus O.
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

HLola: a Very Functional Tool for Extensible Stream Runtime Verification

由 Gorostiaga, Felipe, Sánchez, César
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

由 Ferreira, Margarida, Terra-Neves, Miguel, Ventura, Miguel, Lynce, Inês, Martins, Ruben
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)