1 citations · 1 across the 1 of their papers we have counts for
1 paper
Thomas Ekström Hansen, Edwin Brady
We present an automated framework for solidifying the cohesion between software specifications, their dependently typed models, and implementation at compile time. Model Checking a…