Properties of a predicate transformer of the VRS system

DOI10.1007/S10559-010-9229-7MaRDI QIDQ2452750zbMATH OpenOpenAlexFDO

Authors A. B. Godlevskij, S. V. Potiyenko, V. S. Peschanenko, A. A. Letichevskij, A. A. jun. Letichevskii

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-9229-7

zbMATH Keywords

abstractionsymbolic modelingverification

Mathematics Subject Classification ID

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

Recommendations

• Predicate transformers in the context of symbolic modeling of transition systems
• Systems specification by basic protocols
• Weakest preconditions for progress
• Specification transformers: a predicate transformer approach to composition
• Computer Science Logic

Cites work

• A Practical Decision Procedure for Arithmetic with Function Symbols
• Algebra of behavior transformations and its applications
• Basic protocols, message sequence charts, and the verification of requirements specifications
• Computer Aided Verification
• scientific article; zbMATH DE number 1617305 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1307655 (Why is no real title available?)
• Predicate transformers in the context of symbolic modeling of transition systems
• Semantics of timed message sequence charts
• Symbolic model checking: \(10^{20}\) states and beyond
• Systems specification by basic protocols

Cited in

(4)

• Fuzz testing technique and its use in cybersecurity tasks
• Predicate transformers in the context of symbolic modeling of transition systems
• Formation of similarity-reflecting binary vectors with random binary projections
• Vector data transformation using random binary matrices

Describes a project that uses

Uses Software

• CESAR

This page was built for publication: Properties of a predicate transformer of the VRS system

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