उपकरणों का एक संग्रह जिसका उपयोग एलटीएल फार्मूले से मॉनिटर ("watchdogs") उत्पन्न करने के लिए किया जा सकता है। यह रनटाइम सत्यापन के क्षेत्र से जाना जाता है। अधिक जानकारी के लिए, संबद्ध प्रोजेक्ट होमपेज देखें।
संस्करण इतिहास
- विवरण 0.0.7 पर तैनात 2009-04-01
कई सुधार और अपडेट - विवरण 0.0.7 पर तैनात 2009-04-01
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: ltl3tools.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 0.0.7
- मंच: windows