static verification

• Vision for a modern Eiffel
  by Helmut Brandl (modified: 2010 Oct 05)

  Tags:
  • eiffel
  • language design
  • type safety
  • static verification
• Blog about static verification of software
  by Helmut Brandl (modified: 2012 Jun 04)

  Tags:
  • static verification
  • correctness proofs