| 12093160 |
IoT event detector correctness verification |
Vaibhav Sharma, Andrew Jude Gacek, Saswat Padhi, Andrew Apicelli, Raveesh Yadav +7 more |
2024-09-17 |
| 11797317 |
Transitioning legacy software to be provably correct |
Sean McLaughlin, Tongtong Xiang, Matthias Schlaipfer, Neha Rungta, Serdar Tasiran +1 more |
2023-10-24 |
| 11093641 |
Anonymizing sensitive data in logic problems for input to a constraint solver |
Carsten Varming, Neha Rungta, Andrew Judge Gacek, Murphy Berzish |
2021-08-17 |
| 8726241 |
Method and system for the development of high-assurance computing elements |
Philippe M. T. Limondin, T. Douglas Hiratzka, John Mettenburg, David F. Leskowicz |
2014-05-13 |
| 8041554 |
Method and system for the development of high-assurance microcode |
Philippe M. T. Limondin, T. Douglas Hiratzka, David S. Hardin |
2011-10-18 |
| 7640536 |
Variable graph minimization for improved model-checking performance |
Steven P. Miller |
2009-12-29 |
| 7063401 |
Systems and methods for determining printhead in a print position |
Marcia D. Haney, David W. Hanks, Mark H. Cowan |
2006-06-20 |
| 7059702 |
Systems and methods for determining printhead in a standby position |
Marcia D. Haney, David W. Hanks, Mark H. Cowan |
2006-06-13 |
