11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.CC2022
Modeling Asymptotic Complexity Using ACL2
William D. Young
The theory of asymptotic complexity provides an approach to characterizing the behavior of programs in terms of bounds on the number of computational steps executed or use of compu…
cs.LO2011★ 11 cited
Toward the Verification of a Simple Hypervisor
Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug +2
Virtualization promises significant benefits in security, efficiency, dependability, and cost. Achieving these benefits depends upon the reliability of the underlying virtual machi…