01451oam 2200445Ka 450 991069899020332120090612103409.0(CKB)5470000002397970(OCoLC)391426325(EXLCZ)99547000000239797020090612d1989 ua 0engtxtrdacontentcrdamediacrrdacarrierFormal verification of AI software[electronic resource] /John Rushby, R. Alan WhitehurstHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[1989]1 volumeNASA contractor report ;181827Title from title screen (viewed June 11, 2009)Artificial intelligencenasatComputer systems performancenasatExpert systemsnasatLogic programmingnasatTheorem provingnasatArtificial intelligence.Computer systems performance.Expert systems.Logic programming.Theorem proving.Rushby John1949-1409065Whitehurst R. Alan1409066Langley Research Center.GPOGPOGPOBOOK9910698990203321Formal verification of AI software3494572UNINA