מערכת זמן אמת – הבדלי גרסאות

לעתים קרובות מערכות זמן אמת הן מערכות שתקינותן חיונית ועלולה להשפיע על חיי אדם. מערכות כאלו הן למשל מערכות ניווט, מערכות טייס אוטומטי, מערכות להסטת מסילות רכבת, מערכות רמזורים וכו'. כדי לוודא תקינות של מערכות כאלו משתמשים לעתים ב[[מערכת הוכחה אוטומטית|מערכות הוכחה אוטומטיות]] (מערכות המבצעות [[בינה מלאכותית|מערכות המבצעות הוכחת משפטים מתמטיים באמצעות תוכנה]]), כאשר כל פיתוח המערכת מבוצע תוך שימוש ב[[מודל מתמטי|מודלים מתמטיים]], וזה להבדיל מתהליך [[אימות תוכנה]] סטנדרטי של הרצת תרחישים שונים על ידי בודקי תוכנה אנושיים.