PSL/IEEE Standard 1850-2010 for Property Specification Language (PSL) — история изменений

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.

(текущ. | пред. | снимок) 20:23, 23 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (97 253 байта) (+343)‎ . . (→‎4.4 Semantics)
(текущ. | пред. | снимок) 20:18, 23 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (96 910 байт) (+146)‎ . . (→‎4.3 Syntax)
(текущ. | пред. | снимок) 20:13, 23 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (96 764 байта) (+258)‎ . . (→‎4.2.4 Макросы)
(текущ. | пред. | снимок) 14:10, 17 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (96 506 байт) (+763)‎ . . (→‎4.2.4 Macros)
(текущ. | пред. | снимок) 13:53, 17 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (95 743 байта) (+626)‎ . . (→‎4.2.3.3.2 OBE implication operators)
(текущ. | пред. | снимок) 13:45, 17 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (95 117 байт) (+921)‎ . . (→‎4.2.3.3.1 OBE операторы местонахождения)
(текущ. | пред. | снимок) 14:24, 16 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (94 196 байт) (+263)‎ . . (→‎4.2.3.3 Optional Branching Extension (OBE) operators)
(текущ. | пред. | снимок) 14:16, 16 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (93 933 байта) (+580)‎ . . (→‎4.2.3.2.14 FL invariance operators)
(текущ. | пред. | снимок) 14:10, 16 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (93 353 байта) (+758)‎ . . (→‎4.2.3.2.13 Logical implication operators)
(текущ. | пред. | снимок) 14:03, 16 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (92 595 байт) (+956)‎ . . (→‎4.2.3.2.12 Suffix implication operators)
(текущ. | пред. | снимок) 19:06, 12 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (91 639 байт) (+8673)‎ . . (→‎4.2.3.2 Foundation Language (FL) operators)
(текущ. | пред. | снимок) 22:23, 10 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (82 966 байт) (+702)‎ . . (→‎3.2 Acronyms and abbreviations)
(текущ. | пред. | снимок) 23:03, 9 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (82 264 байта) (+6205)‎ . . (→‎3.1 Определения (Definitions))
(текущ. | пред. | снимок) 23:06, 8 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (76 059 байт) (+3385)‎ . . (→‎3.1 Определения (Definitions))
(текущ. | пред. | снимок) 22:53, 4 октября 2013‎ ANA (обсуждение | вклад)‎ м . . (72 674 байта) (+237)‎ . . (→‎1.2.1 Происхождение)
(текущ. | пред. | снимок) 22:14, 4 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (72 437 байт) (+2887)‎ . . (→‎3.1 Определения (Definitions))
(текущ. | пред. | снимок) 22:23, 3 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (69 550 байт) (+4717)‎ . . (→‎3. Definitions, acronyms, and abbreviations)
(текущ. | пред. | снимок) 22:15, 2 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (64 833 байта) (+3238)‎ . . (→‎1.3.2 Функциональная верификация)
(текущ. | пред. | снимок) 20:42, 1 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (61 595 байт) (+15)‎ . . (→‎1.3.2.1 Моделирование)
(текущ. | пред. | снимок) 20:41, 1 октября 2013‎ Valentin (обсуждение | вклад)‎ . . (61 580 байт) (+2295)‎ . . (→‎1.3.2 Функциональная верификация)
(текущ. | пред. | снимок) 19:23, 28 сентября 2013‎ Valentin (обсуждение | вклад)‎ . . (59 285 байт) (+5174)‎ . . (→‎1.3 Usage)
(текущ. | пред. | снимок) 16:47, 28 сентября 2013‎ Valentin (обсуждение | вклад)‎ . . (54 111 байт) (+406)‎ . . (→‎1.2.3 Goals)
(текущ. | пред. | снимок) 16:14, 28 сентября 2013‎ Valentin (обсуждение | вклад)‎ . . (53 705 байт) (+645)‎ . . (→‎1.2.2 Мотивация)
(текущ. | пред. | снимок) 22:45, 27 сентября 2013‎ Valentin (обсуждение | вклад)‎ . . (53 060 байт) (+863)‎ . . (→‎1.2.2 Мотивация)
(текущ. | пред. | снимок) 22:40, 25 сентября 2013‎ Valentin (обсуждение | вклад)‎ . . (52 197 байт) (+1085)‎ . . (→‎1.2.2 Мотивация)
(текущ. | пред. | снимок) 22:12, 25 сентября 2013‎ Valentin (обсуждение | вклад)‎ . . (51 112 байт) (+4097)‎ . . (→‎1. Overview)
(текущ. | пред. | снимок) 23:41, 18 сентября 2013‎ ANA (обсуждение | вклад)‎ . . (47 015 байт) (+9459)‎ . . (→‎1. Overview)
(текущ. | пред. | снимок) 23:08, 18 сентября 2013‎ ANA (обсуждение | вклад)‎ м . . (37 556 байт) (+1035)‎ . . (→‎3. Definitions, acronyms, and abbreviations)
(текущ. | пред. | снимок) 23:04, 18 сентября 2013‎ ANA (обсуждение | вклад)‎ . . (36 521 байт) (+8870)‎ . . (→‎3.1 Определения (Definitions))
(текущ. | пред. | снимок) 14:00, 21 ноября 2012‎ ANA (обсуждение | вклад)‎ м . . (27 651 байт) (+27 651)‎ . . (→‎4.2.3.2.1 Union operator)

PSL/IEEE Standard 1850-2010 for Property Specification Language (PSL) — история изменений

Навигация

Персональные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Поиск

Инструменты