Szukana fraza: [Abstract = "The main idea behind the approach is to consider patterns, defined in terms of temporal logic, as a kind of \(logical\) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between the intuitiveness of deductive reasoning and the difficulty of its practical application when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing, our understanding of deduction\-based formal verification of workflow\-oriented models."]

Wyników: 1