Partial Order Reduction for Deep Bug Finding in Synchronous Hardware

por Mann, Makai, Barrett, Clark
Publicado 2020

Nasa formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

por Barrett, Clark, Davies, Misty, Kahsai, Temesghen
Publicado 2017

A Decision Procedure for String to Code Point Conversion

por Reynolds, Andrew, Nötzli, Andres, Barrett, Clark, Tinelli, Cesare
Publicado 2020

An SMT-Based Approach for Verifying Binarized Neural Networks

por Amir, Guy, Wu, Haoze, Barrett, Clark, Katz, Guy
Publicado 2021

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

por Mann, Makai, Irfan, Ahmed, Griggio, Alberto, Padon, Oded, Barrett, Clark
Publicado 2021

Syntax-Guided Quantifier Instantiation

por Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare
Publicado 2021

Politeness for the Theory of Algebraic Datatypes

por Sheng, Ying, Zohar, Yoni, Ringeissen, Christophe, Lange, Jane, Fontaine, Pascal, Barrett, Clark
Publicado 2020

Algorithms for verifying deep neural networks

por Liu, Changliu, Arnon, Tomer, Lazarus, Christopher, Strong, Christopher, Barrett, Clark, Kochenderfer, Mykel J
Publicado 2021

Synthesising Programs with Non-trivial Constants

por Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare
Publicado 2023

The Move Prover

por Zhong, Jingyi Emma, Cheang, Kevin, Qadeer, Shaz, Grieskamp, Wolfgang, Blackshear, Sam, Park, Junkil, Zohar, Yoni, Barrett, Clark, Dill, David L.
Publicado 2020

fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components

por Truong, Lenny, Herbst, Steven, Setaluri, Rajsekhar, Mann, Makai, Daly, Ross, Zhang, Keyi, Donovick, Caleb, Stanley, Daniel, Horowitz, Mark, Barrett, Clark, Hanrahan, Pat
Publicado 2020