ClawZ is a tool that translates between the Simulink graphical notation for expressing control law models and the Z notation. The first version of ClawZ was developed in the Spring of 1999. This has been refined and enhanced in the light of experience on case studies and real-life examples. The current version of CLawZ (version 1.1.7) was released in February 2004.. The development of ClawZ has been sponsored by DERA and QinetiQ

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Cavalcanti, Ana; King, Steve; O’Halloran, Colin; Woodcock, Jim: Test-data generation for control coverage by proof (2014)
  2. Arthan, Rob; Martin, Ursula; Oliva, Paulo: A Hoare logic for linear systems (2013)
  3. Cavalcanti, Ana; Mota, Alexandre; Woodcock, Jim: Simulink timed models for program verification (2013)
  4. Miyazawa, Alvaro; Cavalcanti, Ana: Refinement-oriented models of Stateflow charts (2012)
  5. Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana: Mechanised support for sound refinement tactics (2012)
  6. Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin: From control law diagrams to Ada via \ssf\ssfCaPiToCircus (2011)
  7. Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana: A tactic language for refinement of state-rich concurrent specifications (2011)
  8. Chen, Chunqing; Dong, Jin Song; Sun, Jun: A formal framework for modeling and validating simulink diagrams (2009)
  9. Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana: Supporting arcangel in proofpower (2009)
  10. Boström, Pontus; Morel, Lionel; Waldén, Marina: Stepwise development of Simulink models using the refinement calculus framework (2007)
  11. Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin: Control law diagrams in Circus (2005)
  12. Boulton, Richard J.; Hardy, Ruth; Martin, Ursula: A Hoare logic for single-input single-output continuous-time control systems (2003)
  13. Käufl, Thomas: Reasoning about systems of linear inequalities (1988)