Программы equiitg.sf.net

Это формальный инструмент проверки эквивалентности, разработанный для проверки IIT Guwahati, который может быть использован для проверки функциональной эквивалентности между схемами (комбинированными и последовательными) форм