We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...
The Uniï¬ed Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Abstract—Interpolation is the means by which a continuouslydeï¬ned model is ï¬t to discrete data samples. When the data samples are exempt of noise, it seems desirable to build...
In this work, we present a constrained-based representation for specifying the goals of “course designâ€, that we call curricula model, and introduce a graphical language, groun...