@inproceedings{tacas-15,
author    = {Franck Cassez and
               Takashi Matsuoka and
               Edward Pierzchalski and
               Nathan Smyth},
  title     = {Perentie: Modular Trace Refinement and Selective Value Tracking -
               (Competition Contribution)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  pages     = {439--442},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-662-46681-0_39},
  doi       = {10.1007/978-3-662-46681-0_39},
  publisher = springv,
  volume = 9035,
  series    = lncs,
  mywebpage = {soft-verif},
  keywords = {refinement, software verification},
  category = {soft-verif},
  show = {},
  urlpaper = {papers/sv-comp-2015.pdf},
  abstract = {Perentie is a software analysis tool based on iterative refinement of trace abstraction:
  if the refinement process terminates, the program is either declared correct or a counterexample is
  provided and the program is incorrect.},
    Type = {B - International Conferences},

}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% 2014
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{"_id":"JxqnkPYxs8LhDDbMH","bibbaseid":"cassez-matsuoka-pierzchalski-smyth-perentiemodulartracerefinementandselectivevaluetrackingcompetitioncontribution-2015","author_short":["Cassez, F.","Matsuoka, T.","Pierzchalski, E.","Smyth, N."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Takashi"],"propositions":[],"lastnames":["Matsuoka"],"suffixes":[]},{"firstnames":["Edward"],"propositions":[],"lastnames":["Pierzchalski"],"suffixes":[]},{"firstnames":["Nathan"],"propositions":[],"lastnames":["Smyth"],"suffixes":[]}],"title":"Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution)","booktitle":"Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings","pages":"439–442","year":"2015","url":"http://dx.doi.org/10.1007/978-3-662-46681-0_39","doi":"10.1007/978-3-662-46681-0_39","publisher":"Springer","volume":"9035","series":"LNCS","mywebpage":"soft-verif","keywords":"refinement, software verification","category":"soft-verif","show":"","urlpaper":"papers/sv-comp-2015.pdf","abstract":"Perentie is a software analysis tool based on iterative refinement of trace abstraction: if the refinement process terminates, the program is either declared correct or a counterexample is provided and the program is incorrect.","bibtex":"@inproceedings{tacas-15,\nauthor = {Franck Cassez and\n Takashi Matsuoka and\n Edward Pierzchalski and\n Nathan Smyth},\n title = {Perentie: Modular Trace Refinement and Selective Value Tracking -\n (Competition Contribution)},\n booktitle = {Tools and Algorithms for the Construction and Analysis of Systems\n - 21st International Conference, {TACAS} 2015, Held as Part of the\n European Joint Conferences on Theory and Practice of Software, {ETAPS}\n 2015, London, UK, April 11-18, 2015. Proceedings},\n pages = {439--442},\n year = {2015},\n url = {http://dx.doi.org/10.1007/978-3-662-46681-0_39},\n doi = {10.1007/978-3-662-46681-0_39},\n publisher = springv,\n volume = 9035,\n series = lncs,\n mywebpage = {soft-verif},\n keywords = {refinement, software verification},\n category = {soft-verif},\n show = {},\n urlpaper = {papers/sv-comp-2015.pdf},\n abstract = {Perentie is a software analysis tool based on iterative refinement of trace abstraction:\n if the refinement process terminates, the program is either declared correct or a counterexample is\n provided and the program is incorrect.},\n Type = {B - International Conferences},\n\n}\n\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n%%% 2014\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n\n","author_short":["Cassez, F.","Matsuoka, T.","Pierzchalski, E.","Smyth, N."],"key":"tacas-15","id":"tacas-15","bibbaseid":"cassez-matsuoka-pierzchalski-smyth-perentiemodulartracerefinementandselectivevaluetrackingcompetitioncontribution-2015","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/sv-comp-2015.pdf"},"keyword":["refinement","software verification"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F"],"keywords":["refinement","software verification"],"search_terms":["perentie","modular","trace","refinement","selective","value","tracking","competition","contribution","cassez","matsuoka","pierzchalski","smyth"],"title":"Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution)","year":2015}