Tools on Rewriting

2 tools found.

• Frama-C

  last modified: Jul 15, 2020 21:16:13

  

  Frama-C is a tool consisting of several static analysis techniques for the programming language C.

  15 July 2020 Frama-Clang 0.0.9 is out. Download it here ....

  categories program_verification

• Why

  last modified: Mar 06, 2019 15:14:01

  

  Why is a software verification platform.

  The Why platform is not any longer under active development. Our effort has moved to the development of Why3. ... Why is still maintained, in particular to provide the Jessie plug-i...

  categories program_verification