ClawZ

swMATH6340MaRDI QIDQ18468FDOQ18468

Author name not available (Why is that?)

Cited In (14)

• The refinement calculus of reactive systems
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework
• Mechanised support for sound refinement tactics
• Refinement-oriented models of Stateflow charts
• FM 2005: Formal Methods
• From control law diagrams to Ada via \textsf{Circus}
• Test-data generation for control coverage by proof
• Title not available (Why is that?)
• A Hoare logic for linear systems
• Simulink Timed Models for Program Verification
• A tactic language for refinement of state-rich concurrent specifications
• Title not available (Why is that?)
• A formal framework for modeling and validating simulink diagrams
• Mechanical Reasoning about Families of UTP Theories

This page was built for software: ClawZ