From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a24:764f:: with SMTP id
 z76-v6mr6872923itb.11.1524465749856;
        Sun, 22 Apr 2018 23:42:29 -0700 (PDT)
X-Received: by 2002:a9d:5191:: with SMTP id
 y17-v6mr423733otg.12.1524465749716;
 Sun, 22 Apr 2018 23:42:29 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!maths.tcd.ie!newsswitch.lcs.mit.edu!bloom-beacon.mit.edu!bloom-beacon.mit.edu!168.235.88.217.MISMATCH!feeder.erje.net!2.us.feeder.erje.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!k65-v6no2880909ita.0!news-out.google.com!b185-v6ni2391itb.0!nntp.google.com!k65-v6no2880907ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 22 Apr 2018 23:42:29 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=194.9.244.19;
 posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 194.9.244.19
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <286f2bbc-dd02-4a42-9786-5aa0beaa280e@googlegroups.com>
Subject: Formal Methods Toolkit
From: Maciej Sobczak <see.my.homepage@gmail.com>
Injection-Date: Mon, 23 Apr 2018 06:42:29 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1562
X-Received-Body-CRC: 1549775913
Xref: reader02.eternal-september.org comp.lang.ada:51675
Date: 2018-04-22T23:42:29-07:00
List-Id: <comp.lang.ada>

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