Properties of a predicate transformer of the VRS system

DOI10.1007/s10559-010-9229-7zbMath1288.68167OpenAlexW2020229627MaRDI QIDQ2452750

A. B. Godlevskij, S. V. Potiyenko, V. S. Peschanenko, Alexander Letichevsky, 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

verificationabstractionsymbolic modeling

Mathematics Subject Classification ID

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

Related Items

Fuzz testing technique and its use in cybersecurity tasks ⋮ Vector data transformation using random binary matrices ⋮ Formation of similarity-reflecting binary vectors with random binary projections

Uses Software

• CESAR

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Semantics of timed message sequence charts
• Predicate transformers in the context of symbolic modeling of transition systems
• Systems specification by basic protocols
• Basic protocols, message sequence charts, and the verification of requirements specifications
• A Practical Decision Procedure for Arithmetic with Function Symbols
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item