research
∙
03/14/2022
Conditional Contextual Refinement (CCR)
Contextual refinement (CR) is one of the standard notions of specifying ...
share
research
∙
09/07/2021
Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic
Contextual refinement and separation logics are successful verification ...
research
∙
05/11/2021
Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL
Simulation and formal verification are important complementary technique...
research
∙
01/08/2020
An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction
Coinductive reasoning about infinitary structures such as streams is wid...
research
∙
05/31/2019