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

References in zbMATH (referenced in 12 articles )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Leroux, Jér^ome; Rümmer, Philipp; Subotić, Pavle: Guiding Craig interpolation with domain-specific abstractions (2016)
  2. Al-Bataineh, Omar; Reynolds, Mark; French, Tim: Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (2015)
  3. Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud: Taming past LTL and flat counter systems (2015)
  4. Bozga, Marius; Iosif, Radu; Konečný, Filip: Deciding conditional termination (2014)
  5. Darondeau, Philippe; Demri, Stéphane; Meyer, Roland; Morvan, Christophe: Petri net reachability graphs: decidability status of first order properties (2012)
  6. Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud: Taming past LTL and flat counter systems (2012)
  7. Fietzke, Arnaud; Kruglov, Evgeny; Weidenbach, Christoph: Automatic generation of invariants for circular derivations in SUP(LA) (2012)
  8. Ghardallou, Wided; Mraihi, Olfa; Louhichi, Asma; Jilani, Lamia Labed; Bsaies, Khaled; Mili, Ali: A versatile concept for the analysis of loops (2012)
  9. Hojjat, Hossein; Konečný, Filip; Garnier, Florent; Iosif, Radu; Kuncak, Viktor; Rümmer, Philipp: A verification toolkit for numerical transition systems. Tool paper (2012)
  10. Schrammel, Peter; Jeannet, Bertrand: Applying abstract acceleration to (co-)reachability analysis of reactive programs (2012)
  11. Jaubert, Rémi; Reynier, Pierre-Alain: Quantitative robustness analysis of flat timed automata (2011)
  12. Bozga, Marius; G{^i}rlea, Codruţa; Iosif, Radu: Iterating octagons (2009)

Further publications can be found at: http://www-verimag.imag.fr/Publications-by-years,255.html?lang=en