Apalache is a symbolic model checker for #tlaplus.
Born in Vienna, Austria (famous for waltzes, Schnitzel, and logic) in 2016.
Growing up with @informalinc.

ID: 1351278240103600129

linkhttps://apalache.informal.systems calendar_today18-01-2021 21:21:04