ITP swMATH ID: 9808 Software Authors: Clavel, M.; Palomino, M.; Riesco, A. Description: The ITP tool is a theorem prover that can be used to prove properties of membership equational specifications, as well as incompletely specified algorithms on them, as a way to support incremental development of specifications. Membership equational logic is an expressive version of equational logic, particularly adequate for specifying and verifying semantic data structures, such as ordered lists, binary search trees, priority queues, and powerlists. Homepage: http://maude.sip.ucm.es/itp/ Dependencies: Maude Related Software: Maude; SCC; CafeOBJ; OBJ3; PMaude; MTT; JavaFAN; MFE; Stratego; MMT; ACL2; AProVE; Maude-NPA; Mace4; SPIN; CASL; LETOS; CRC 3; Java+ITP; CARIBOO Cited in: 29 Publications all top 5 Cited by 39 Authors 18 Meseguer Guaita, José 6 Martí-Oliet, Narciso 4 Escobar, Santiago 4 Palomino, Miguel 3 Alpuente, María 3 Clavel, Manuel 3 Durán, Francisco 3 Eker, Steven 3 Verdejo, Alberto 2 Ogata, Kazuhiro 2 Ojeda, Pedro 2 Roşu, Grigore 2 Skeirik, Stephen 2 Talcott, Carolyn L. 1 Bertolissi, Clara 1 Bonacina, Maria Paola 1 Bouhoula, Adel 1 Codescu, Mihai 1 Espert, Javier 1 Fernández, Maribel 1 Furbach, Ulrich 1 Futatsugi, Kokichi 1 Gaĭnă, Daniel 1 Hendrix, Joe 1 Holen, Bjarne 1 Jacquemard, Florent 1 Johnsen, Einar Broch 1 Lincoln, Patrick D. 1 Lucas, Salvador 1 Maeder, Christian 1 Mossakowski, Till 1 Riesco, Adrián 1 Rocha, Camilo 1 Rodríguez-Hortalá, Juan 1 Rosa-Velardo, Fernando 1 Rubio, Rubén 1 Segura, Clara 1 Sofronie-Stokkermans, Viorica 1 Waaler, Arild all top 5 Cited in 7 Serials 5 Theoretical Computer Science 3 The Journal of Logic and Algebraic Programming 2 Information and Computation 2 Journal of Logical and Algebraic Methods in Programming 1 Artificial Intelligence 1 Journal of Applied Logic 1 Lecture Notes in Computer Science Cited in 3 Fields 28 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) Citations by Year