Temat: temporal logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Formalna analiza interpretowanych algorytmicznych maszyn stanów ASM z wykorzystaniem narzędzia model checker
Autorzy:: Grobelna, I.
Data publikacji:: 2008
Słowa kluczowe:: algorithmic state machines
temporal logic
formal verification
Model Checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Formal verification of embedded logic controller specification with computer deduction in temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Słowa kluczowe:: formalna weryfikacja
wbudowane sterowniki logiczne
logika temporalna
elektrotechnika
elektroenergetyka
formal verification
embedded logic controllers
temporal logic
electrical technology
electrical power engineering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: From workflow design patterns to logical specifications
Autorzy:: Klimek, R.
Data publikacji:: 2013
Słowa kluczowe:: formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Data publikacji:: 2014
Słowa kluczowe:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja