6We put the lying machine into the correct answer website (opens in new tab)(ben.page)4jer0me8mo ago0Save
9Forge: A Tool and Language for Teaching Formal Methods (opens in new tab)(forge-fm.org)2jer0me1y ago0Save