Ben L. Di Vito

According to our database, Ben L. Di Vito authored at least 11 papers between 1990 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Polygon Merge: A Geometric Algorithm Verified Using PVS.

Ben L. Di Vito, Ashlie B. Hocking

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Unit Lemmas for Detecting Requirement and Specification Flaws.

Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2016

Deductive evaluation: formal code analysis with low user burden.

Ben L. Di Vito

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2000

High-automation proofs for properties of requirements models.

Ben L. Di Vito

Int. J. Softw. Tools Technol. Transf., 2000

1999

Software Can Be Entrusted with High Consequence Functionality.

Ben L. Di Vito

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

Formalizing Space Shuttle Software Requirements: Four Case Studies.

Judith Crow, Ben L. Di Vito

ACM Trans. Softw. Eng. Methodol., 1998

1996

Formalizing New Navigation Requirements for NASA's Space Shuttle.

Ben L. Di Vito

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994

Formal Methods Fact vs. Fiction.

C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1992

Provable transient recovery for frame-based, fault-tolerant computing systems.

Ben L. Di Vito, Ricky W. Butler

Proceedings of the Real-Time Systems Symposium, 1992

1990

Specification and Verification of the ASOS Kernel.

Ben L. Di Vito, Paul H. Palmquist, Eric R. Anderson, Michael L. Johnston

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

The Deductive Theory Manager: A Knowledge Based System for Formal Verification.

Ben L. Di Vito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990