A system for deduction-based formal verification of workflow-oriented software models (Q2018423): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3123419187 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1402.1978 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Defining liveness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5227061 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4935259 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5684216 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385542 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4846258 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automated deduction for verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2851821 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Property specifications for workflow modelling / rank | |||
Normal rank |
Latest revision as of 23:29, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A system for deduction-based formal verification of workflow-oriented software models |
scientific article |
Statements
A system for deduction-based formal verification of workflow-oriented software models (English)
0 references
14 April 2015
0 references
formal verification
0 references
deductive reasoning
0 references
temporal logic
0 references
semantic tableaux
0 references
workflow patterns
0 references
logical primitives
0 references
generating logical specifications
0 references
business models
0 references
BPMN
0 references