A system for deduction-based formal verification of workflow-oriented software models
From MaRDI portal
Publication:2018423
DOI10.2478/amcs-2014-0069zbMath1309.68131arXiv1402.1978OpenAlexW3123419187MaRDI QIDQ2018423
Publication date: 14 April 2015
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1402.1978
formal verificationtemporal logicsemantic tableauxdeductive reasoningbusiness modelsworkflow patternsBPMNgenerating logical specificationslogical primitives
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Uses Software
Cites Work