FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Bendik, Jaroslav	Formal Verification of Ethereum Smart Contracts: SMT-Based Approaches and Challenges
E
Esen, Zafer	Eldarica and TriCera: towards an open verification framework
M
Manerkar, Yatin	UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
Meel, Kuldeep	Democratizing SAT Solving
P
Parlato, Gennaro	C2C-trans as a design methodology for software verification tools
Peleg, Hila	Interaction Models vs. Formal Models: Synthesis Co-Design
Polgreen, Elizabeth	UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
S
Schlaipfer, Matthias	Achieving Verified Cloud Authorization
V
Vizel, Yakir	Solving Constrained Horn Clauses Lazily and Incrementally

Disclaimer | Powered by EasyChair Smart Program