Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1016/j.ic.2019.104487 | Information and Computation |
Keywords | Field | DocType |
Component-based design,Refinement,Logic,Modal transition system,Specification | Discrete mathematics,Model checking,Non-classical logic,Unification,Theoretical computer science,Implementation,Equivalence (measure theory),Formalism (philosophy),Component-based software engineering,Mathematics,Modal | Journal |
Volume | Issue | ISSN |
271 | C | 0890-5401 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nikola Beneš | 1 | 94 | 12.24 |
Uli Fahrenberg | 2 | 417 | 30.31 |
Jan Křetínský | 3 | 190 | 12.05 |
Axel Legay | 4 | 2982 | 181.47 |
Louis-Marie Traonouez | 5 | 0 | 0.34 |