5 citations · 16 across the 6 of their papers we have counts for
1 paper · 2 filters
David S. Hardin, Jennifer A. Davis, David A. Greve +1
In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystem…