27 citations · 37 across the 6 of their papers we have counts for
3 papers · 1 filter
A Pattern-based deadlock-freedom analysis strategy for concurrent systems
Pedro Antonino, Augusto Sampaio, Jim Woodcock
Local analysis has long been recognised as an effective tool to combat the state-space explosion problem. In this work, we propose a method that systematises the use of local analy…
A Manifesto for Applicable Formal Methods
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
Formal methods were frequently shown to be effective and, perhaps because of that, practitioners are interested in using them more often. Still, these methods are far less applied…
New Opportunities for Integrated Formal Methods
Mario Gleirscher, Simon Foster, Jim Woodcock
Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In…