SYSTEM AND METHOD OF CONCLUSIVELY VERIFYING THE CORRECTNESS OF AN INFORMATION SYSTEM WITHOUT NEEDING TO TEST EVERY COMBINATION OF BEHAVIOR AT RUN-TIME - diagram, schematic, and image 32
Back to SYSTEM AND METHOD OF CONCLUSIVELY VERIFYING THE CORRECTNESS OF AN INFORMATION SYSTEM WITHOUT NEEDING TO TEST EVERY COMBINATION OF BEHAVIOR AT RUN-TIME , All Patents .