Softpedia >Linux >  Applications filed under: verification  (2 items)

Apps filed under: verification

  RSS Feed for this tag 2 applications totalLast updated: Sep 29th 2013, 13:04 GMT

     
  • 62 downloads
Alv

Alv 2.2b

Oracle archive log verification freeware software for Linux and UNIX-like operating systems

Sep 29th 2013, 13:04 GMT
     
  • 1,479 downloads
UPPAAL

UPPAAL 4.0.6

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time sy...

Mar 9th 2007, 23:35 GMT