Software Search - zbMATH Open

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
Referenced in:	29 Publications

all top 5

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

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

28	Computer science (68-XX)
12	Mathematical logic and foundations (03-XX)
2	Category theory; homological algebra (18-XX)