2 papers
cs.CR2023
State of the Art Report: Verified Computation
Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha +8
This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) S…
cs.LO2011
Constraint-Based Deadlock Checking of High-Level Specifications
Stefan Hallerstede, Michael Leuschel
Establishing the absence of deadlocks is important in many applications of formal methods. The use of model checking for finding deadlocks in formal models is often limited. In thi…