Spreadsheet-based Configuration of Families of Real-Time Specifications

José Proença, David Pereira, Giann Spilere Nandi +2

Model checking real-time systems is complex, and requires a careful trade-off between including enough detail to be useful and not too much detail to avoid state explosion. This wo…