ald bhaal metrology security computer security baldur d&d nanotechnology solution equipment systems use case jeux control morrowind formal methods soluce neverwinter formal method quality assurance testing reliability pvd software verification