Verification of compliance for multilevel models in individual trace semantics

DOI10.1134/S0361768821070069MaRDI QIDQ2064403zbMATH OpenOpenAlexFDO

Authors A. V. Khoroshilov

Publication date 5 January 2022

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0361768821070069

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositional probabilistic verification through multi-objective model checking
• scientific article; zbMATH DE number 1569125
• Abstracting models from execution traces for performing formal verification
• scientific article; zbMATH DE number 1390251
• A formal verification technique for behavioural model-to-model transformations

Cites work

• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Defining liveness
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 108007 (Why is no real title available?)
• scientific article; zbMATH DE number 2227867 (Why is no real title available?)

Cited in

(1)

• Revisiting Semantics of Interactions for Trace Validity Analysis

This page was built for publication: Verification of compliance for multilevel models in individual trace semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2064403)