To TOP of uparrow

IV&V and Formal methods

algologo"algologo" About Algologic
Warning and Disclaimers
Downloadable publications

Formal methods, IV&V

  1. Comprehensive I V & V -- extending the meaning of IV&V (pdf file -- 801 kB)
  2. Formal methods for railways safety -- are we in the right train ? (pdf file -- 836 kB)
  3. I V & V services from Algologic (pdf file -- 862 kB)
  4. A closer look at non-functional requirements. (pdf file, 202 kB, external author)
Monitor this page
for updates

it's private
Powered by

Go to TOP, and start all over again ^

Contact Algologic