Verification of compliance for multilevel models in individual trace semantics

DOI10.1134/S0361768821070069zbMath1485.68152OpenAlexW4225613538MaRDI QIDQ2064403

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)

Cites Work

• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Defining liveness
• Unnamed Item
• Unnamed Item
• Unnamed Item

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