22323 подписчиков
69 видео
Introducing Komet: Formal Verification and Fuzzing for Soroban
Kasmer Demo
Formal Verification with Kontrol & Simbolik with Raoul Schaffranek
kontrol cli
Simbolik Beta Intro with Raoul Schaffranek
Working Workshops Bucharest October 2023 - Grigore Rosu: Pi2, Proof of Proof
Working Workshops Bucharest October 2023 - Horatiu Cheval: Matching Logic in Lean
Working Workshops Bucharest Oct.'23 - Dorel Lucanu: Capturing the Polynomial Functors in...
Working Workshops Bucharest October 2023 - Denisa & Dafina: VLSMs and the Muddy Children Puzzle (2)
Working Workshops Bucharest October 2023 - Denisa & Dafina: VLSMs and the Muddy Children Puzzle (1)
Working Workshops Bucharest October 2023 - Mihai Calancea: A slice of Pi2
Working Workshops Bucharest October 2023 - Virgil Serbanuta: Kasmer - MX Property Verification
MediK: Defining Medical Guidelines using K
