VDict - Definition of safety property

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

safety fault tree analysis safety-critical system deadlock intellectual property META element Axiom of Comprehension Visual Display Unit feature induction software reliability Russell's Paradox quantifier LaborNet bindery NP-complete Resource Description Framework Modula-3 George Boole scram switch single inheritance provably unsolvable misbug nondeterminism provably difficult complementary nondeterministic polynomial polynomial-time source code escrow powerdomain AST Research, Inc. polylithism AST Computers, LLC exponential-time B persistence non-polynomial shim fuzzy logic nonlinear relational language iterative deepening Project Guardian Huffman coding abstract interpretation set redundancy listless Church-Rosser Theorem Zermelo set theory compact NP-hard normalisation backward combatability wormhole routing state Bezier curve nondeterministic polynomial time dynamic binding Turing tar-pit chaos more...