FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Bandyopadhyay, Soumyadip	Implementing a Path Based Equivalence Checker for Petri net based Models of Programs
Brozius, Wouter	Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems
H
Hagens, Kasper	Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems
K
Kop, Cynthia	Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems
Koutavas, Vasileios	From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques (Extended Abstract)
L
Lin, Yu-Yang	From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques (Extended Abstract)
M
Martin, Christian	Generating Mutation Tests Using an Equivalence Prover
Murawski, Andrzej	Compositional relational reasoning via operational game semantics
S
Sayedoff, Chaked R.J.	Regression verification of unbalanced recursive functions with multiple calls
Strichman, Ofer	Regression verification of unbalanced recursive functions with multiple calls
T
Tzevelekos, Nikos	From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques (Extended Abstract)
W
Watanabe, Kazuki	Compositional Approaches to Games in Model Checking

Disclaimer | Powered by EasyChair Smart Program