Partial Order Reduction for Deep Bug Finding in Synchronous Hardware

von Mann, Makai
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Verifying Recurrent Neural Networks Using Invariant Inference

von Jacoby, Yuval
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks

von Ostrovsky, Matan
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers

von Niemetz, Aina
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness

von Toledo, Guilherme V.
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Efficient Neural Network Analysis with Sum-of-Infeasibilities

von Wu, Haoze
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description)

von Kremer, Gereon
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

A Decision Procedure for String to Code Point Conversion

von Reynolds, Andrew
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

An SMT-Based Approach for Verifying Binarized Neural Networks

von Amir, Guy
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Finding "the right way" : toward an army institutional ethic

Veröffentlicht 2012

Syntax-Guided Quantifier Instantiation

von Niemetz, Aina
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

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

von Mann, Makai
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

Simplifying Neural Networks Using Formal Verification

von Gokulanathan, Sumathi
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

G2SAT: LEARNING TO GENERATE SAT FORMULAS

von You, Jiaxuan
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 14 of 20 (2020)

Even Faster Conflicts and Lazier Reductions for String Solvers

von Nötzli, Andres
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

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

Veröffentlicht 2017

Homo Æqualis : a cross-society experimental analysis of three bargaining games

Veröffentlicht 2009

Politeness and Stable Infiniteness: Stronger Together

von Sheng, Ying
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Politeness for the Theory of Algebraic Datatypes

von Sheng, Ying
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers

von Paterson, Colin
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)