ProofPower swMATH ID: 6339 Software Authors: Roger Jones; Arthan, R.D.; Dave King; Lemma 1 Ltd Description: ProofPower is a specification and proof tool based on an implementation of Higher Order Logic (HOL), following the LCF paradigm, in Standard ML. ProofPower provides support for specification and proof in Z using a semantic embedding of Z into HOL. The DAZ tool supporting refinement of Z to the SPARK subset of Ada is also available. Homepage: http://www.lemma-one.com/ProofPower/index/ Keywords: theorem prover Related Software: Circus; Z; HOL; Isabelle/HOL; HOL Light; Isabelle; PVS; Coq; ML; ClawZ; ArcAngel; Z/EVES; Isabelle/Circus; ZRC; OpenTheory; ArcAngelC; HOL Zero; seL4; Mizar; Isabelle/UTP Cited in: 52 Publications Further Publications: http://www.lemma-one.com/ProofPower/papers/papers.html all top 5 Cited by 68 Authors 17 Cavalcanti, Ana 11 Woodcock, James C. P. 9 Zeyda, Frank 5 Oliveira, Marcel 3 Arthan, Rob D. 3 Foster, Simon 3 Popescu, Andrei 2 Burns, Alan D. 2 Butterfield, Andrew 2 Freitas, Leo 2 Grov, Gudmund 2 He, Jifeng 2 Hurd, Joe 2 Kunčar, Ondřej 2 Lin, Yuhui 2 O’Halloran, Colin 2 Qin, Shengchao 2 Zhu, Huibiao 1 Abrahamsson, Oskar 1 Adams, Mark 1 Arthan, Robin Denis 1 Blanchette, Jasmin Christian 1 Boldo, Sylvie 1 Boulton, Richard J. 1 Bowen, Jonathan P. 1 Brooke, Phillip J. 1 Bundy, Alan 1 Carneiro, Mario M. 1 Cheng, Shu 1 Clayton, Phil 1 da Costa Cavalheiro, Simone André 1 Dong, JinSong 1 D’Souza, Deepak 1 Feliachi, Abderrahmane 1 Foss, Luciana 1 Gaudel, Marie-Claude 1 Gilbert, Frédéric 1 Gordon, Mike J. 1 Hayes, Ian J. 1 Jifeng, He 1 King, Steve F. 1 Kohlhase, Michael 1 Kumar, Ramana 1 Lelay, Catherine 1 Liu, Yang 1 Maclean, Ewen 1 Melquiond, Guillaume 1 Miyazawa, Alvaro 1 Mota, Alexandre C. 1 Norrish, Michael 1 Nuka, Gift 1 Rabe, Florian 1 Ribeiro, Leila 1 Ribeiro, Pedro 1 Sampaio, Augusto C. A. 1 Sheng, Feng 1 Sherif, Adnan 1 Shi, Ling 1 Slind, Konrad 1 Stepney, Susan 1 Sun, Jun 1 Toyn, Ian 1 Traytel, Dmitry 1 Wei, Kun 1 Wolff, Burkhart 1 Yang, Zongyuan 1 Zhan, Bohua 1 Zhao, Yongxin all top 5 Cited in 10 Serials 11 Formal Aspects of Computing 5 Journal of Automated Reasoning 4 Journal of Formalized Reasoning 3 Science of Computer Programming 2 Theoretical Computer Science 1 Real-Time Systems 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 52 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Real functions (26-XX) 1 Algebraic topology (55-XX) Citations by Year