[Spark2014-discuss] [L621-012] formal semantics of SPARK 2014

Robby robby at ksu.edu
Thu May 2 19:15:01 CEST 2013

>>> PS: We are still in the process of making a distribution for the
>>> toolset so that you can easily install it in your machine.
>>> gnat2xml (hence, our translators) depend on a certain "development"
>>> wavefront/version of GNAT Pro

We have posted an updated Sireum Bakar documentation that includes
tool installation as well as development environment setup at:


Robby                             Phone: 785-532-6350
Associate Professor                      785-532-7904 (direct)
Department of Computing and       Fax:   785-532-7353
 Information Sciences
324B Nichols Hall                 Email: robby at k-state.edu
Kansas State University           WWW:   http://people.cis.ksu.edu/~robby
Manhattan, KS 66506

More information about the Spark2014-discuss mailing list