Verification of compliance for multilevel models in individual trace semantics

DOI10.1134/S0361768821070069zbMATH Open1485.68152OpenAlexW4225613538MaRDI QIDQ2064403FDOQ2064403

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

• Defining liveness
• Title not available (Why is that?)
• Title not available (Why is that?)
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Title not available (Why is that?)

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)