From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Formal Methods Toolkit
Date: Sun, 22 Apr 2018 23:42:29 -0700 (PDT)
Date: 2018-04-22T23:42:29-07:00 [thread overview]
Message-ID: <286f2bbc-dd02-4a42-9786-5aa0beaa280e@googlegroups.com> (raw)
I'm pleased to announce the availability of new tool:
http://inspirel.com/fmt/
FMT is a set of extension packages that turn Mathematica into software engineering IDE allowing to design models, analyze, visualize, verify and generate formally-proven Ada [*] source code.
[*] for those who cannot resist the temptation ;-), C and C++ are targeted, too.
Please check the gallery of screenshots to see some samples of what is possible:
http://inspirel.com/fmt/gallery.html
FMT is open-source and free.
Regards,
--
Maciej Sobczak * http://www.inspirel.com
reply other threads:[~2018-04-23 6:42 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox