International Journal on Software Tools for Technology Transfer

Title Publication Date Language Citations
Uppaal in a nutshell1997/12/01English481
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems2007/03/13English289
HYTECH: a model checker for hybrid systems1997/12/01English192
Rodin: an open toolset for modelling and reasoning in Event-B2010/04/07English183
Model checking JAVA programs using JAVA PathFinder2000/03/01166
NUSMV: a new symbolic model checker2000/03/01156
KRONOS: a verification tool for real-time systems1997/12/01English142
The software model checker Blast2007/09/13English122
Uppaal SMC tutorial2015/01/06English115
An overview of JML tools and applications2004/12/14English110
ProB: an automated analysis toolset for the B method2008/01/08English91
Probabilistic symbolic model checking with PRISM: a hybrid approach2004/04/06English82
CADP 2011: a toolbox for the construction and analysis of distributed processes2012/06/30English71
A survey of recent advances in SAT-based formal verification2005/01/25English68
MCMAS: an open-source model checker for the verification of multi-agent systems2015/04/26English67
PHAVer: algorithmic verification of hybrid systems past HyTech2008/01/08English62
TGV: theory, principles and algorithms2004/10/20English59
A survey of new trends in symbolic execution for software testing and analysis2009/08/30English58
An overview of the MOP runtime verification framework2011/04/23English57
The practitioner's guide to coloured Petri nets1998/12/0155
Program sketching2012/08/02English55
Efficient monitoring of safety properties2003/11/28English49
Modelling and analysis using GROOVE2011/03/04English48
Bounded synthesis2012/04/07English47
Software diversity: state of the art and perspectives2012/07/28English46
System architecture evaluation using modular performance analysis: a case study2006/07/20English45
Numerical vs. statistical probabilistic model checking2006/01/19English45
Vacuity detection in temporal model checking2003/02/0144
State space reduction using partial order techniques1999/11/0144
What can you verify and enforce at runtime?2011/04/21English43