Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Gidon Ernst
Latest
A Relational Encoding for a Clash-Free Subset of ASMs
Development of a Verified Flash File System
Modular Refinement for Submachines of ASMs
Cite
×