AstraVer

swMATH26809MaRDI QIDQ38538FDOQ38538

Author name not available (Why is that?)

Official website: http://linuxtesting.org/astraver

Cited In (6)

• Verifying Whiley programs with Boogie
• Automated verification of the parallel Bellman-Ford algorithm
• Jessie
• Whiley
• JMLAutoTest
• Whiteoak

This page was built for software: AstraVer