Verification of cache coherence protocols wrt. trace filters
We address the problem of parameterized verification of cache coherence protocols for
hardware accelerated transactional memories. In this setting, transactional memories …
hardware accelerated transactional memories. In this setting, transactional memories …
[HTML][HTML] Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape Analysis
F Haziza - 2015 - diva-portal.org
Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape
Analysis diva-portal.org Digitala Vetenskapliga Arkivet Simple search Advanced search …
Analysis diva-portal.org Digitala Vetenskapliga Arkivet Simple search Advanced search …
View Abstraction–A Tutorial
PA Abdulla, F Haziza, L Holík - 2nd International Workshop on …, 2015 - drops.dagstuhl.de
We consider parameterized verification, ie, proving correctness of a system with an
unbounded number of processes. We describe the method of view abstraction whose aim is …
unbounded number of processes. We describe the method of view abstraction whose aim is …
Small Model Theorems for Verification of Parameterized Systems
T Sävström - 2015 - diva-portal.org
The world of software is increasing and the requirements on software systems are getting
harder. To ensure that these requirements are fulfilled, we use program verification. The …
harder. To ensure that these requirements are fulfilled, we use program verification. The …