Толкова се забавлявах да си играя с TLA+ и Coyote (вижте най-новото ), че реших да продължа със сравняването на някои други инструменти за формални методи. Има редица проекти, излизащи от Microsoft Research, и отново можем да използваме проблем „Rosetta Stone“ (който аз свободно определям като нещо, което на теория е лесно за превод между различни езици, което ви позволява да се съсредоточите повече върху разликата в езиците, отколкото съдържанието на проблема). Ако сте експерт по P,..