ClawZ swMATH ID: 6340 Software Authors: Rob Arthan Description: 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 Homepage: http://www.lemma-one.com/clawz_docs/clawz_docs.html Related Software: Circus; ProofPower; Simulink; Z; ZRC; ArcAngel; Isabelle/HOL; PVS; ML; ArcAngelC; KeYmaera; nuXmv; KeYmaera X; SL2SX; Rodin; Isabelle; Daikon; SPIN; Archive Formal Proofs; Isabelle/Circus Cited in: 14 Publications all top 5 Cited by 24 Authors 8 Cavalcanti, Ana 3 O’Halloran, Colin 3 Zeyda, Frank 2 Clayton, Phil 2 Martin, Ursula 2 Oliveira, Marcel 2 Woodcock, James C. P. 1 Arthan, Rob D. 1 Boström, Pontus 1 Boulton, Richard J. 1 Chen, Chunqing 1 Dong, JinSong 1 Dragomir, Iulia 1 Hardy, Ruth 1 Käufl, Thomas 1 King, Steve F. 1 Miyazawa, Alvaro 1 Morel, Lionel 1 Mota, Alexandre C. 1 Oliva, Paulo 1 Preoteasa, Viorel 1 Sun, Jun 1 Tripakis, Stavros 1 Waldén, Marina Cited in 3 Serials 5 Formal Aspects of Computing 2 Science of Computer Programming 1 Information and Computation Cited in 3 Fields 14 Computer science (68-XX) 3 Systems theory; control (93-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) Citations by Year