* Tools for formal verification
@ 2013-08-02 19:27 Michael Erdmann
2013-08-19 12:48 ` vincent.diemunsch
0 siblings, 1 reply; 2+ messages in thread
From: Michael Erdmann @ 2013-08-02 19:27 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Tools for formal verification
2013-08-02 19:27 Tools for formal verification Michael Erdmann
@ 2013-08-19 12:48 ` vincent.diemunsch
0 siblings, 0 replies; 2+ messages in thread
From: vincent.diemunsch @ 2013-08-19 12:48 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-08-19 12:48 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-08-02 19:27 Tools for formal verification Michael Erdmann
2013-08-19 12:48 ` vincent.diemunsch
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox