×

Timbuk

swMATH ID: 6351
Software Authors: Genet, Thomas; Boichut, Yohan; Boyer, Benoît; Tong, Valérie Viet Triem; et al.
Description: Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata) Timbuk and reachability analysis can be used for program verification. For instance, Timbuk is currently used to verify Cryptographic Protocols (see some papers and in the examples of the distribution). Timbuk 3 is a fully new version of the tree automata completion engine used for reachability analysis. Older Timbuk distributions (2.2) provide three standalone tools and a bunch of Objective Caml functions for basic manipulation on Tree Automata, alphabets, terms, Term Rewriting Systems, etc.
Homepage: http://www.irisa.fr/celtique/genet/timbuk/
Keywords: Term Rewriting Systems
Related Software: Maude; AVISPA; ELAN; Isabelle; OCaml; Isabelle/HOL; AProVE; Tyrolean; MONA; JavaFAN; z3; Maude-NPA; NRL; LETHAL; HERMES; K Prover; DCTP; Nagoya Termination Tool; NaTT; MU-TERM
Cited in: 49 Documents
all top 5

Cited by 58 Authors

11 Boichut, Yohan
11 Héam, Pierre-Cyrille
10 Genet, Thomas
9 Kouchnarenko, Olga
5 Courbis, Roméo
4 Jacquemard, Florent
4 Meseguer Guaita, José
4 Vágvölgyi, Sándor
2 Escobar, Santiago
2 Feuillade, Guillaume
2 Kojima, Yoshiharu
2 Nesi, Monica
2 Sakai, Masahiko
2 Thati, Prasanna
2 Viet Triem Tong, Valérie
1 Balland, Emilie
1 Barguñó, Luis
1 Bouajjani, Ahmed
1 Creus, Carles
1 Degano, Pierpaolo
1 Delzanno, Giorgio
1 Durand, Irène A.
1 Felgenhauer, Bertram
1 Geser, Alfons
1 Godoy, Guillem
1 Hendrix, Joe
1 Hofbauer, Dieter
1 Hugot, Vincent
1 Knight, Kevin M.
1 Kojima, Misaki
1 Lammich, Peter
1 Le Roux, Luka
1 Lengál, Ondřej
1 Letz, Reinhold
1 Lochbihler, Andreas
1 May, Jonathan
1 Meyer, Antoine
1 Montagna, Roberto
1 Moreau, Pierre-Etienne
1 Nishida, Naoki
1 Nocera, Giustina
1 Ohsaki, Hitoshi
1 Rabinovich, Alexander
1 Rucci, Giuseppina
1 Rusinowitch, Michaël
1 Rusu, Vlad
1 Sagiv, Mooly
1 Salmon, Yann
1 Šimáček, Jiří
1 Stenz, Gernot
1 Thiemann, René
1 Vacher, Camille
1 Vojnar, Tomáš
1 Waldmann, Johannes
1 Yamada, Akihisa
1 Yorsh, Greta
1 Zantema, Hans
1 Zunino, Roberto
all top 5

Cited in 13 Serials

5 Journal of Logical and Algebraic Methods in Programming
4 Information Processing Letters
2 Information and Computation
2 Nordic Journal of Computing
2 Logical Methods in Computer Science
1 Journal of Computer and System Sciences
1 Theoretical Computer Science
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 International Journal of Foundations of Computer Science
1 Higher-Order and Symbolic Computation
1 The Journal of Logic and Algebraic Programming

Cited in 4 Fields

49 Computer science (68-XX)
6 Mathematical logic and foundations (03-XX)
5 Information and communication theory, circuits (94-XX)
2 General algebraic systems (08-XX)

Citations by Year