39 citations · 41 across the 2 of their papers we have counts for
2 papers
cs.SE2016★ 2 cited
Implementing and Evaluating Candidate-Based Invariant Generation
Adam Betts, Nathan Chong, Pantazis Deligiannis +2
The discovery of inductive invariants lies at the heart of static program verification. Presently, many automatic solutions to inductive invariant generation are inflexible, only a…
cs.CE2014★ 39 cited
Acceleration of a Full-scale Industrial CFD Application with OP2
István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli +4
Hydra is a full-scale industrial CFD application used for the design of turbomachinery at Rolls Royce plc. It consists of over 300 parallel loops with a code base exceeding 50K lin…