1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2026
Formal Verification of Imperative First-Class Functions in Move
Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap +1
The Move Prover (MVP) is a formal verifier for smart contracts written in the Move programming language. Recently, Move on Aptos was extended with higher-order functions: imperativ…
cs.PL2019★ 1 cited
Loop Summarization with Rational Vector Addition Systems (extended version)
Jake Silverman, Zachary Kincaid
This paper presents a technique for computing numerical loop summaries. The method synthesizes a rational vector addition system with resets (Q-VASR) that simulates the action of a…