Working Workshops - Bucharest October 2023
The Working Workshops was a one-day event held last October 18th, 2023, in Bucharest and was organized by Runtime Verification in preparation for the xDay2023. Some of the topics discussed include the state of K, symbolic execution of Solidity with Kontrol, MX Property Verification with Kasmer, Matching Logic in Lean and Proof of Proof with Pi.
Radu Mereuta: The State of K
Andrei Vacaru: Kontrol, symbolic execution for Solidity
Virgil Serbanuta: Kasmer - MX Property Verification
Mihai Calancea: A slice of Pi2
Denisa & Dafina: VLSMs and the Muddy Children Puzzle (1)
Denisa & Dafina: VLSMs and the Muddy Children Puzzle (2)
Dorel Lucanu: Capturing the Polynomial Functors in...
Horatiu Cheval: Matching Logic in Lean
Grigore Rosu: Pi2, Proof of Proof