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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.ams3.giganews.com!border1.nntp.ams2.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!feeder.erje.net!eu.feeder.erje.net!weretis.net!feeder4.news.weretis.net!ecngs!feeder2.ecngs.de!sequencer.elbracht.net!news6.united-newsserver.de!not-for-mail
From: Michael Erdmann <michael.erdmann@snafu.de>
Subject: Tools for formal verification
Newsgroups: comp.lang.ada
User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508 git://git.gnome.org/pan2)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 02 Aug 2013 19:27:16 GMT
Message-ID: <51fc0814$0$96332$afc38c87@news6.united-newsserver.de>
Organization: united-newsserver, Premium-Usenet
NNTP-Posting-Date: 02 Aug 2013 21:27:16 CEST
NNTP-Posting-Host: a433e2dd.news6.united-newsserver.de
X-Trace: DXC=YP5Ie@6X3823aIdmdld5F1Y@MT; `SjgQ9`P[ek5W0_<7G76QG[<BD;
 5]FBMChn=lg4cdJ2fea>`F; AQi@j]lJBa46h?g6Gl^Vj:
X-Complaints-To: abuse@united-newsserver.de
X-Original-Bytes: 1114
Date: 2013-08-02T21:27:16+02:00
List-Id: <comp.lang.ada>

I am wondering what tool are commonly used in the Ada community for
formal verification of models (design) and code. Are there any 
reasonable open source tools known?


/Michael