Parametric Optimization of Open Real-Time Systems
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Hi-index | 0.00 |
A description model for high level behavior of a real time concurrent system is presented. A verification algorithm is then devised to take advantage of interaction locality and symmetry and internal operation concealment in the model. A system called VERIFAST implements the algorithm. Experiments show that VERIFAST runs fast and exhibits time complexity linear to the size of concurrency in a benchmark.