From: vincent.diemunsch@gmail.com
Subject: Re: Tools for formal verification
Date: Mon, 19 Aug 2013 05:48:50 -0700 (PDT)
Date: 2013-08-19T05:48:50-07:00 [thread overview]
Message-ID: <a3ab8b0d-f53d-4e79-9ff0-8beec0238ef9@googlegroups.com> (raw)
In-Reply-To: <51fc0814$0$96332$afc38c87@news6.united-newsserver.de>
Le vendredi 2 août 2013 21:27:16 UTC+2, Michael Erdmann a écrit :
> 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
For the formal verification of Code written in a subset of the Ada language, see Spark :
http://en.wikipedia.org/wiki/SPARK_%28programming_language%29
Vincent
prev parent reply other threads:[~2013-08-19 12:48 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-02 19:27 Tools for formal verification Michael Erdmann
2013-08-19 12:48 ` vincent.diemunsch [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox