Making TLA+ and x86 Kiss Via Z3Py 0 ▲ Hey There Buddo! 1 hour ago · Tech · hide · 0 comments I’ve been trying my hand at translating a reasonable subset of TLA+ into z3py for the purposes of connecting specs to Verus, CBMC, and my assembly checker and also for maybe a little interactive theorem proving as a treat. No comments yet. Log in to reply on the Fediverse. Comments will appear here.
