Publishing your prototype tool on the web: PUPTOL, a framework
暂无分享,去创建一个
[1] Joost-Pieter Katoen,et al. Modelling, Reduction and Analysis of Markov Automata (extended version) , 2013, ArXiv.
[2] Mariëlle Stoelinga,et al. DFTCalc: a tool for efficient fault tree analysis (extended version) , 2013 .
[3] Mark Timmer. SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.
[4] Steffen Mazanek,et al. SHARE: a web portal for creating and sharing executable research papers , 2011, ICCS.
[5] Arend Rensink,et al. Modelling and analysis using GROOVE , 2010, International Journal on Software Tools for Technology Transfer.
[6] Joost-Pieter Katoen,et al. Quantitative Timed Analysis of Interactive Markov Chains , 2012, NASA Formal Methods.
[7] Marieke Huisman,et al. The VerCors project: setting up basecamp , 2012, PLPV '12.
[8] Tiziana Margaria,et al. Remote integration and coordination of verification tools in jETI , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
[9] Marieke Huisman,et al. Procedure-modular verification of control flow safety properties , 2010, FTfJP@ECOOP.
[10] Marieke Huisman,et al. CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties , 2010, FoVeOOS.