68 citations · 69 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
Verification Algorithms for Automated Separation Logic Verifiers
Marco Eilers, Malte Schwerhoff, Peter Müller
Most automated program verifiers for separation logic use either symbolic execution or verification condition generation to extract proof obligations, which are then handed over to…
cond-mat1995★ 68 cited
The functional-analytic versus the functional-integral approach to quantum Hamiltonians: The one-dimensional hydrogen atom.
W. Fischer, H. Leschke, P. Mueller
The capabilities of the functional-analytic and of the functional-integral approach for the construction of the Hamiltonian as a self-adjoint operator on Hilbert space are compared…