2 citations · 8 across the 8 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.SE2022
An Automatically Verified Prototype of the Android Permissions System
Maximiliano Cristiá, Guido De Luca, Carlos Luna
In a previous work De Luca and Luna presented formal specifications of idealized formulations of the permission model of Android in the Coq proof assistant. This formal development…
cs.LO2022★ 2 cited
A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Maximiliano Cristiá, Gianfranco Rossi
Let be the language of first-order, decidable theory . Consider the language, , that extends $\mat…
cs.LO2022★ 1 cited
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
Maximiliano Cristiá, Gianfranco Rossi
In this paper we show how prescritive type checking and constraint solving can be combined to increase automation during software verification. We do so by defining a type system a…