Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Ain't No Stopping Us Monitoring Now
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
Not all properties are monitorable. This is a well-known fact, and it means there exist properties that cannot be fully verified at runtime. However, given a non-monitorable proper…
cs.LO2020
Flexible Coinduction in Agda
Luca Ciccone
Theorem provers are tools that help users to write machine readable proofs. Some of this tools are also interactive. The need of such softwares is increasing since they provide pro…