AutoProof

swMATH30948MaRDI QIDQ42662FDOQ42662

Author name not available (Why is that?)

Official website: http://se.inf.ethz.ch/research/autoproof/

Source code repository: https://github.com/julian-tschannen/autoproof

Cited In (16)

• TraitCbC
• Verifying OpenJDK's sort method for generic collections
• Verifying Whiley programs with Boogie
• FeatherTrait
• TraitRecordJ
• BVD
• OpenJML
• AstraVer
• Traits: correctness-by-construction for free
• TimSort
• Whiley
• JMLAutoTest
• Whiteoak
• A verification-driven framework for iterative design of controllers
• An assertional proof of the stability and correctness of Natural Mergesort
• Ensuring correctness of model transformations while remaining decidable

This page was built for software: AutoProof