3 ms·
http://whiley.org/ http://whiley.org/ is another similar language that uses an SMT solver for testing program invariants.
by bjz_ 10y ago
http://whiley.org/ http://whiley.org/ is another similar language that uses an SMT solver for testing program invariants.