@inproceedings{bellettini1993merlot,
  abstract = {Real-time systems are becoming increasingly important in the everyday life. The use of such systems for critical applications requires tools and techniques for increasing correctness and reliability of the final product. In this paper, we describe a toolset (Merlot) for analysing real-time system specifications. Merlot allows the automatic verification of temporal properties for a large set of specifications and requires interaction with the user only when the complexity of the specification overcomes a reasonable automatable level. Merlot has been built with the aim of verifying both the feasibility of the approach and the applicability of the analysis techniques to real problems, that is to identify classes of problems that can be analysed with little or no interaction with the user in a reasonable amount of time.},
  added-at = {2014-10-12T00:48:48.000+0200},
  author = {Carlo Bellettini and Miguel Felder and Mauro Pezzè},
  biburl = {http://www.bibsonomy.org/bibtex/2f29aa90da6783569d2718d42fed1038f/carlobellettini},
  booktitle = {Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on},
  doi = {10.1109/IWSSD.1993.315507},
  editor = {Jack C. Wileden},
  interhash = {cb78dd86f1d1c8b911d29870f669da5c},
  intrahash = {f29aa90da6783569d2718d42fed1038f},
  keywords = {doi myown},
  month = dec,
  pages = {110--119},
  publisher = {IEEE Computer Society},
  timestamp = {2014-10-12T00:48:48.000+0200},
  title = {Merlot: a tool for analysis of real-time specifications},
  url = {http://dx.doi.org/10.1109/IWSSD.1993.315507},
  year = 1993
}

{"_id":"LufQREM3gkDaRyukS","authorIDs":[],"author_short":["Bellettini, C.","Felder, M.","Pezzè, M."],"bibbaseid":"bellettini-felder-pezz-merlotatoolforanalysisofrealtimespecifications-1993","bibdata":{"bibtype":"inproceedings","type":"inproceedings","abstract":"Real-time systems are becoming increasingly important in the everyday life. The use of such systems for critical applications requires tools and techniques for increasing correctness and reliability of the final product. In this paper, we describe a toolset (Merlot) for analysing real-time system specifications. Merlot allows the automatic verification of temporal properties for a large set of specifications and requires interaction with the user only when the complexity of the specification overcomes a reasonable automatable level. Merlot has been built with the aim of verifying both the feasibility of the approach and the applicability of the analysis techniques to real problems, that is to identify classes of problems that can be analysed with little or no interaction with the user in a reasonable amount of time.","added-at":"2014-10-12T00:48:48.000+0200","author":[{"firstnames":["Carlo"],"propositions":[],"lastnames":["Bellettini"],"suffixes":[]},{"firstnames":["Miguel"],"propositions":[],"lastnames":["Felder"],"suffixes":[]},{"firstnames":["Mauro"],"propositions":[],"lastnames":["Pezzè"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2f29aa90da6783569d2718d42fed1038f/carlobellettini","booktitle":"Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on","doi":"10.1109/IWSSD.1993.315507","editor":[{"firstnames":["Jack","C."],"propositions":[],"lastnames":["Wileden"],"suffixes":[]}],"interhash":"cb78dd86f1d1c8b911d29870f669da5c","intrahash":"f29aa90da6783569d2718d42fed1038f","keywords":"doi myown","month":"December","pages":"110--119","publisher":"IEEE Computer Society","timestamp":"2014-10-12T00:48:48.000+0200","title":"Merlot: a tool for analysis of real-time specifications","url":"http://dx.doi.org/10.1109/IWSSD.1993.315507","year":"1993","bibtex":"@inproceedings{bellettini1993merlot,\n abstract = {Real-time systems are becoming increasingly important in the everyday life. The use of such systems for critical applications requires tools and techniques for increasing correctness and reliability of the final product. In this paper, we describe a toolset (Merlot) for analysing real-time system specifications. Merlot allows the automatic verification of temporal properties for a large set of specifications and requires interaction with the user only when the complexity of the specification overcomes a reasonable automatable level. Merlot has been built with the aim of verifying both the feasibility of the approach and the applicability of the analysis techniques to real problems, that is to identify classes of problems that can be analysed with little or no interaction with the user in a reasonable amount of time.},\n added-at = {2014-10-12T00:48:48.000+0200},\n author = {Carlo Bellettini and Miguel Felder and Mauro Pezzè},\n biburl = {http://www.bibsonomy.org/bibtex/2f29aa90da6783569d2718d42fed1038f/carlobellettini},\n booktitle = {Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on},\n doi = {10.1109/IWSSD.1993.315507},\n editor = {Jack C. Wileden},\n interhash = {cb78dd86f1d1c8b911d29870f669da5c},\n intrahash = {f29aa90da6783569d2718d42fed1038f},\n keywords = {doi myown},\n month = dec,\n pages = {110--119},\n publisher = {IEEE Computer Society},\n timestamp = {2014-10-12T00:48:48.000+0200},\n title = {Merlot: a tool for analysis of real-time specifications},\n url = {http://dx.doi.org/10.1109/IWSSD.1993.315507},\n year = 1993\n}\n\n","author_short":["Bellettini, C.","Felder, M.","Pezzè, M."],"editor_short":["Wileden, J. C."],"key":"bellettini1993merlot","id":"bellettini1993merlot","bibbaseid":"bellettini-felder-pezz-merlotatoolforanalysisofrealtimespecifications-1993","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/IWSSD.1993.315507"},"keyword":["doi myown"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://homes.di.unimi.it/bellettini/prova.bib","creationDate":"2014-10-10T19:56:35.129Z","downloads":0,"keywords":["myown","doi myown","dblp"],"search_terms":["merlot","tool","analysis","real","time","specifications","bellettini","felder","pezzè"],"title":"Merlot: a tool for analysis of real-time specifications","year":1993,"dataSources":["LpnKn37Pk62TbMgN9"]}