From: Michael Erdmann <michael.erdmann@snafu.de>
Subject: Tools for formal verification
Date: 02 Aug 2013 19:27:16 GMT
Date: 2013-08-02T21:27:16+02:00 [thread overview]
Message-ID: <51fc0814$0$96332$afc38c87@news6.united-newsserver.de> (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
next reply other threads:[~2013-08-02 19:27 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-02 19:27 Michael Erdmann [this message]
2013-08-19 12:48 ` Tools for formal verification vincent.diemunsch
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox