15 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.SE2013★ 15 cited
Distributed CTL Model Checking in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The recent extensive availability of "big data" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high perf…
cs.SE2012★ 2 cited
State Space Exploration of RT Systems in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The growing availability of distributed and cloud computing frameworks make it possible to face complex computational problems in a more effective and convenient way. A notable exa…