Practical Automated Partial Verification of Multi-Paradigm Real-Time Models

Carlo A. Furia, Matteo Pradella, Matteo Rossi

This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational…