Publisher
Springer Nature Switzerland
Reference26 articles.
1. Asteasuain, F.: A parallel tableau algorithm for big data verification. In: CACIC, pp. 275–287 (2023). ISBN 978-987-9285-51-0
2. Asteasuain, F., Braberman, V.: Declaratively building behavior by means of scenario clauses. Requirements Eng. 22(2), 239–274 (2017). https://doi.org/10.1007/s00766-015-0242-2
3. Asteasuain, F., Calonge, F., Dubinsky, M., Gamboa, P.: Open and branching behavioral synthesis with scenario clauses. CLEI E-JOURNAL 24(3), 1–20 (2021)
4. Bellettini, C., Camilli, M., Capra, L., Monga, M.: Mardigras: Simplified building of reachability graphs on large clusters. In: RP workshop. pp. 83–95 (2013)
5. Bellettini, C., Camilli, M., Capra, L., Monga, M.: Distributed CTL model checking using mapreduce: theory and practice. CCPE 28(11), 3025–3041 (2016)