VERT-verification of real-time programs.

Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer

Browse the full COMPSAC paper archive.