Ben L. Di Vito

11 papers A 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2021 — conf
Polygon Merge: A Geometric Algorithm Verified Using PVS.
NFM
Ben L. Di Vito, Ashlie B. Hocking
2020 — conf
Unit Lemmas for Detecting Requirement and Specification Flaws.
ISSRE Workshops
Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito
2016 — conf
Deductive evaluation: formal code analysis with low user burden.
FormaliSE@ICSE
Ben L. Di Vito
2000 J jnl
High-automation proofs for properties of requirements models.
Int. J. Softw. Tools Technol. Transf.
Ben L. Di Vito
1999 — conf
Software Can Be Entrusted with High Consequence Functionality.
HASE
Ben L. Di Vito
1998 J jnl
Formalizing Space Shuttle Software Requirements: Four Case Studies.
ACM Trans. Softw. Eng. Methodol.
Judith Crow, Ben L. Di Vito
1996 — conf
Formalizing New Navigation Requirements for NASA's Space Shuttle.
FME
Ben L. Di Vito
1994 — conf
Formal Methods Fact vs. Fiction.
TRI-Ada
C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith
1992 A conf
Provable transient recovery for frame-based, fault-tolerant computing systems.
RTSS
Ben L. Di Vito, Ricky W. Butler
1990 — conf
Specification and Verification of the ASOS Kernel.
S&P
Ben L. Di Vito, Paul H. Palmquist, Eric R. Anderson, Michael L. Johnston
1990 — conf
The Deductive Theory Manager: A Knowledge Based System for Formal Verification.
S&P
Ben L. Di Vito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu