MAGNUM model checking products. (Tools).I-Logic Inc. has announced the integration of model checking capability with the Statemate MAGNUM MAGNUM - A database language for DEC-10's, used internally by Tymshare, Inc.. MAGNUM was designed in the late 1970's by Dale Jordan, Rich Strauss and Dave McQuoid originally, and was written in BLISS-10. It was the world's first commercial relational database. 3.0 systems engineering tool. The integration of computer-aided model checking into the design process will verify that systems and component designs meet the functional requirements See information requirements and functional specification. (specification) functional requirements - What a system should be able to do, the functions it should perform. of the device and are fail-safe, while reducing the amount of time required to thoroughly analyse, debug To correct a problem in hardware or software. Debugging software means locating the errors in the source code (the program logic). Debugging hardware means finding errors in the circuit design (logical circuits) or in the physical interconnections of the circuits. , and deploy the system. Model checking is available as a standalone stand·a·lone adj. Self-contained and usually independently operating: a standalone computer terminal. application for new and current Statemate MAGNUM users. www.tlogic.com |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion