42 citations · 127 across the 17 of their papers we have counts for
3 papers · 1 filter
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…
Proceedings First Workshop on Applicable Formal Methods
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Sy…
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking
Jeroen Meijer, Jaco van de Pol
We demonstrate the applicability of bandwidth and wavefront reduction algorithms to static variable ordering. In symbolic model checking event locality plays a major role in time a…