VeriCool

swMATH9749MaRDI QIDQ21728FDOQ21728

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-68863-1_14

Cited In (15)

• Verifying Whiley programs with Boogie
• The dynamic frames theory
• Title not available (Why is that?)
• Shape analysis of low-level C with overlapping structures
• Enforcing structural invariants using dynamic frames
• Behavioral interface specification languages
• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• Static contract checking with abstract interpretation
• JACK
• HighSpec
• Jahob
• Goblint
• HAVOC
• Automatic inference of access permissions
• Dafny: an automatic program verifier for functional correctness

This page was built for software: VeriCool