FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

C
CDCL	Democratizing SAT Solving
concurrency	C2C-trans as a design methodology for software verification tools
E
Eldarica	Eldarica and TriCera: towards an open verification framework
F
formal modeling	UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
Formal Models	Interaction Models vs. Formal Models: Synthesis Co-Design
Functional Properties	Achieving Verified Cloud Authorization
H
Horn Clause Solving	Eldarica and TriCera: towards an open verification framework Solving Constrained Horn Clauses Lazily and Incrementally
I
Interactive Verification	Achieving Verified Cloud Authorization
M
model checking	Eldarica and TriCera: towards an open verification framework Solving Constrained Horn Clauses Lazily and Incrementally
Model-Checking	C2C-trans as a design methodology for software verification tools Formal Verification of Ethereum Smart Contracts: SMT-Based Approaches and Challenges
P
Planning	Democratizing SAT Solving
program analysis	Formal Verification of Ethereum Smart Contracts: SMT-Based Approaches and Challenges
Program Synthesis	Interaction Models vs. Formal Models: Synthesis Co-Design
Program Verification	Formal Verification of Ethereum Smart Contracts: SMT-Based Approaches and Challenges Achieving Verified Cloud Authorization
S
SAT	Democratizing SAT Solving
SMT Solving	Formal Verification of Ethereum Smart Contracts: SMT-Based Approaches and Challenges
Specification	Interaction Models vs. Formal Models: Synthesis Co-Design
Synthesis	UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis Democratizing SAT Solving
V
Verification	UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis Democratizing SAT Solving C2C-trans as a design methodology for software verification tools Solving Constrained Horn Clauses Lazily and Incrementally

Disclaimer | Powered by EasyChair Smart Program