scientific article; zbMATH DE number 1487746

zbMath0963.68134MaRDI QIDQ4494259

Helen Treharne, S. A. Schneider

Publication date: 10 August 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

B-Method

Mathematics Subject Classification ID

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

Related Items (9)

Interactive tool support for CSP \(\parallel\) B consistency checking ⋮ Unifying theories in ProofPower-Z ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ Refinement-Preserving Plug-In Components ⋮ A process algebraic framework for specification and validation of real-time systems ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Stateflow Diagrams in ⋮ A UTP semantics for \textsf{Circus} ⋮ Testing for refinement in \textsf{Circus}

This page was built for publication: