Logical vs. behavioural specifications
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F20%3A00117715" target="_blank" >RIV/00216224:14330/20:00117715 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1016/j.ic.2019.104487" target="_blank" >http://dx.doi.org/10.1016/j.ic.2019.104487</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.ic.2019.104487" target="_blank" >10.1016/j.ic.2019.104487</a>
Alternative languages
Result language
angličtina
Original language name
Logical vs. behavioural specifications
Original language description
There are two fundamentally different approaches for specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical formalism of nu-calculus and the behavioural formalism of disjunctive modal transition systems. The translations preserve structural properties of the input specification and allow us to perform logical operations on the behavioural specifications as well as behavioural compositions on logical formulae. The unification of both approaches provides additional methods for component-based stepwise design.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Information and computation
ISSN
0890-5401
e-ISSN
—
Volume of the periodical
271
Issue of the periodical within the volume
104487
Country of publishing house
US - UNITED STATES
Number of pages
24
Pages from-to
1-24
UT code for WoS article
000519527800006
EID of the result in the Scopus database
2-s2.0-85075905322