2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…