Fioravanti, Fabio
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
2021/08/02 by De Angelis, Emanuele, Fioravanti, Fabio, Gallagher, John P. +3 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Towards benchmarking of Solidity verification tools
2024/02/16 by Massimo Bartoletti, Bartoletti, Massimo, F. Fioravanti +7 · 1 citation
Materials Science · #Nuclear Materials and Properties