Concepedia
Statistics
Publications
5
Citations
96
H-Index
Active since
1991
Affiliations
Langley Research Center(Current)
United States Naval Research Laboratory
National Institute of Aerospace
Ben L. DiVito is an author at Langley Research Center specializing in computer science, formal methods, and computing.
Publications per year
1991–2003
Formalizing space shuttle software requirements
Judith Crow, Ben L. DiVito · ACM Transactions on Software Engineering and Methodology · 1998 · 26 citations · Full text
Engineering, Aerospace Engineering, Computer Science +17
Developing User Strategies in PVS: A Tutorial
Myla Archer, Ben L. DiVito, César Muñoz · Defense Technical Information Center (DTIC) · 2003 · 23 citations
Management, Strategy, Business Strategy +5
High Level Design Proof of a Reliable Computing Platform
Ben L. DiVito, Ricky W. Butler, James L. Caldwell · 1991 · 23 citations
Computing, Computer Engineering, Computer Science +17
A PVS Prover Strategy Package for Common Manipulations
Ben L. DiVito · NASA Technical Reports Server (NASA) · 2002 · 13 citations · Full text
Computing, Computer Science, Mathematics +17
Design and Application of Strategies/Tactics in Higher Order Logics
Myla Archer, Ben L. DiVito, César Muñoz · NASA Technical Reports Server (NASA) · 2003 · 11 citations
1–5 of 5