* Formal Methods Toolkit
@ 2018-04-23 6:42 Maciej Sobczak
0 siblings, 0 replies; only message in thread
From: Maciej Sobczak @ 2018-04-23 6:42 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-04-23 6:42 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-04-23 6:42 Formal Methods Toolkit Maciej Sobczak
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox