FLATA swMATH ID: 4142 Software Authors: Marius Bozga; Radu Iosif; Filip Konecny; Tomas Vojnar Description: FLATA is a toolset for the manipulation and the analysis of non-deterministic integer programs (also known as counter automata). The main functionalities of FLATA are: reachability analysis of non-recursive programs - checking if an error control state is reachable termination analysis of non-recursive programs - computation of termination preconditions computation of summaries of recursive programs Homepage: http://nts.imag.fr/index.php/Flata Related Software: Eldarica; Princess; z3; FAST; Aspic; Spacer; Houdini; c2i; TREX; Uppaal; Booster; CoVaC; FunArray; ALGOL 60; ABC; VeriMAP; HSF; PPL; Yices; LOGEN Cited in: 21 Publications Further Publications: http://www-verimag.imag.fr/Publications-by-years,255.html?lang=en all top 5 Cited by 54 Authors 4 Demri, Stéphane P. 3 Bozga, Marius 3 Iosif, Radu 2 Dhar, Amit Kumar 2 Konečný, Filip 2 Sangnier, Arnaud 1 Al-Bataineh, Omar 1 Alberti, Francesco 1 Bodik, Rastislav 1 Bsaïes, Khaled 1 Chakraborty, Supratik 1 Champion, Adrien 1 Chiba, Tomoya 1 Cyphert, John 1 Darondeau, Philippe 1 Fedyukovich, Grigory 1 Fietzke, Arnaud 1 Finkel, Alain 1 French, Tim 1 Gallagher, John P. 1 Ganty, Pierre 1 Ghardallou, Wided 1 Ghilardi, Silvio 1 Gîrlea, Codruţa 1 Gupta, Ashutosh 1 Jaubert, Rémi 1 Jeannet, Bertrand 1 Kafle, Bishoksan 1 Kaufman, Samuel J. 1 Kincaid, Zachary 1 Kobayashi, Naoki 1 Kruglov, Evgeniĭ Valentinovich 1 Labed Jilani, Lamia 1 Lefaucheux, Engel 1 Leroux, Jérôme 1 Louhichi, Asma 1 Meyer, Roland 1 Mili, Ali 1 Morvan, Christophe 1 Mraihi, Olfa 1 Ouaknine, Joel O. 1 Praveen, M. 1 Purser, David 1 Reps, Thomas W. 1 Reynier, Pierre-Alain 1 Reynolds, Mark Alexander 1 Rümmer, Philipp 1 Sato, Ryosuke 1 Schrammel, Peter 1 Sharygina, Natasha 1 Subotic, Pavle 1 Unadkat, Divyesh 1 Weidenbach, Christoph 1 Worrell, James B. all top 5 Cited in 9 Serials 3 Logical Methods in Computer Science 1 Acta Informatica 1 Journal of Computer and System Sciences 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Formal Methods in System Design 1 The Journal of Logic and Algebraic Programming Cited in 4 Fields 21 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year