Zobrazeno 1 - 10
of 26
pro vyhledávání: '"WHALEN, MIKE"'
As with any fuzzer, directing Generator-Based Fuzzers (GBF) to reach particular code targets can increase the fuzzer's effectiveness. In previous work, coverage-guided fuzzers used a mix of static analysis, taint analysis, and constraint-solving appr
Externí odkaz:
http://arxiv.org/abs/2406.02034
Autor:
Feng, Nick, Hu, Alan J., Bayless, Sam, Iqbal, Syed M., Trentin, Patrick, Whalen, Mike, Pike, Lee, Backes, John
Generating proofs of unsatisfiability is a valuable capability of most SAT solvers, and is an active area of research for SMT solvers. This paper introduces the first method to efficiently generate proofs of unsatisfiability specifically for an impor
Externí odkaz:
http://arxiv.org/abs/2401.10703
JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety properties of infinite state models. It is portable, easy to install, perf
Externí odkaz:
http://arxiv.org/abs/1712.01222
In this paper we detail our effort to formalize and prove requirements for the Quad-redundant Flight Control System (QFCS) within NASA's Transport Class Model (TCM). We use a compositional approach with assume-guarantee contracts that correspond to t
Externí odkaz:
http://arxiv.org/abs/1502.03343
Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represented with a graphical interface, that presents and supports claims abo
Externí odkaz:
http://arxiv.org/abs/1409.4629
Publikováno v:
In Electronic Notes in Theoretical Computer Science 5 June 2008 203(4):111-124
Autor:
WHALEN, MIKE
Publikováno v:
Journal of Light Construction; Nov/Dec2023, p37-41, 5p, 9 Color Photographs
Publikováno v:
Journal of Light Construction; Sep/Oct2023, Vol. 41 Issue 8, p7-10, 4p
Autor:
FLYNN, MICHAEL1 michaelflynn@goodwinlaw.com, WHALEN, MIKE2 mwhalen@goodwinlaw.com, SWANK, LEVI3 lswank@goodwinlaw.com
Publikováno v:
Mortgage Banking. Sep2016, Vol. 76 Issue 12, p50-54. 5p.
Publikováno v:
NASA Formal Methods (9783642288906); 2012, p388-402, 15p