Z/EVES swMATH ID: 10262 Software Authors: Community Z Tools Project Description: Z/EVES Eclipse prover IDE. Community Z Tools provide an Eclipse-based IDE and integration with Z/EVES theorem prover. This extends the development of Z specifications in CZT with theorem proving and verification capabilities. Z/EVES Eclipse provides a modern environment to use the Z/EVES theorem prover. It is an alternative to the original Z/EVES UI, which is no longer in development and has issues when used with modern operating systems. Z/EVES Eclipse brings the Z/EVES theorem prover to a modern IDE and supports all Z/EVES functionality: writing and sending proof commands to the prover, viewing proof output, querying lemmas, section management, etc. Homepage: http://czt.sourceforge.net/eclipse/zeves/ Related Software: Z; ProofPower; Circus; Coq; JML; ProB; Alloy; PVS; FDR2; SPIN; TPTP; Isabelle/HOL; CZT; SPARK; Cardinal; Mace4; Prover9; Why3; RelView; Isabelle Cited in: 35 Publications all top 5 Cited by 52 Authors 10 Woodcock, James C. P. 6 Freitas, Leo 4 Cristiá, Maximiliano 4 Rossi, Gianfranco 3 Cavalcanti, Ana 3 Oliveira, Marcel 2 Derrick, John 2 Hoenicke, Jochen 2 Olderog, Ernst-Rüdiger 2 Polack, Fiona A. C. 2 Smith, Graeme 2 Stepney, Susan 2 Toyn, Ian 1 Amálio, Nuno 1 Bandur, Victor 1 Bicarregui, Juan C. 1 Borba, Paulo 1 Brien, S. M. 1 Butterfield, Andrew 1 Cheng, Shu 1 da Costa, Umberto Souza 1 Dingel, Juergen 1 d’Inverno, Mark 1 Dong, JinSong 1 D’Souza, Deepak 1 du Bousquet, Lydie 1 Dupuy-Chessa, Sophie 1 Ford, Jonathan 1 Fu, Zheng 1 Henson, Martin C. 1 Hoare, C. A. R. Tony 1 King, Steve F. 1 Luck, Michael 1 Martins Moreira, Anamaria 1 Mota, Alexandre C. 1 Musicante, Martin A. 1 North, Siobhán 1 Sampaio, Augusto C. A. 1 Schneider, Steve A. 1 Shankar, Natarajan 1 Shin, Dongsoo 1 Simons, Anthony J. H. 1 Souza Neto, Plácido A. 1 Sun, Jing 1 Treharne, Helen 1 Wang, Hai 1 Watson, Paul R. 1 Wehrheim, Heike 1 Wildman, Luke 1 Winter, Kirsten 1 Zeyda, Frank 1 Zhang, Yichi all top 5 Cited in 10 Serials 5 Science of Computer Programming 5 Formal Aspects of Computing 2 Journal of Automated Reasoning 1 Acta Informatica 1 Bulletin of the Korean Mathematical Society 1 Journal of Symbolic Computation 1 Journal of Logic and Computation 1 International Journal of Computer Mathematics 1 Nordic Journal of Computing 1 Lecture Notes in Computer Science Cited in 4 Fields 34 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) Citations by Year