Export Citations
1 Results for: Keyword: Parameterized timed systems
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,842,484 records)|Limit your search to The ACM Full-Text Collection (774,547 records)
Select All
- research-articleJanuary 2017
Incremental Inductive Verification of Parameterized Timed Systems
ACM Transactions on Embedded Computing Systems (TECS), Volume 16, Issue 2Article No.: 47, Pages 1–24https://doi.org/10.1145/2984640We propose and extend an approach for the verification of safety properties for parameterized timed systems modeled as networks of timed automata. For this task, we introduce an incremental workflow that is based on our algorithm IC3 with Zones. It ...
