28 citations · 115 across the 21 of their papers we have counts for
4 papers · 1 filter
A User's Guide to Zot
Matteo Pradella
Zot is an agile and easily extendible bounded model checker, which can be downloaded at http://home.dei.polimi.it/pradella/. The tool supports different logic languages through a m…
A unifying approach to picture grammars
Matteo Pradella, Alessandra Cherubini, Stefano Crespi Reghizzi
Several old and recent classes of picture grammars, that variously extend context-free string grammars in two dimensions, are based on rules that rewrite arrays of pixels. Such gra…
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella +1
Complex systems typically have many different parts and facets, with different characteristics. In a multi-paradigm approach to modeling, formalisms with different natures are used…
A Metric Encoding for Bounded Model Checking (extended version)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique…