Predicate transformers in the context of symbolic modeling of transition systems

DOI10.1007/s10559-010-9236-8zbMath1288.68163OpenAlexW1985887562MaRDI QIDQ2452757

A. B. Godlevskij

Publication date: 5 June 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-010-9236-8

zbMATH Keywords

predicate transformersymbolic modelingattribute transition systemsbasic protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Properties of a predicate transformer of the VRS system

Cites Work

• Unnamed Item
• Unnamed Item
• Systems specification by basic protocols
• A Practical Decision Procedure for Arithmetic with Function Symbols
• An axiomatic basis for computer programming

This page was built for publication: Predicate transformers in the context of symbolic modeling of transition systems