Modular Verification of Qualitative Pathway Models with Fairness
Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive systems. The modular approach is based on the observation that properties of interest often concern a rather small portio...
में बचाया:
| मुख्य लेखकों: | , , , |
|---|---|
| स्वरूप: | Artigo |
| भाषा: | Inglês |
| प्रकाशित: |
Alexandru Ioan Cuza University of Iasi
2013-06-01
|
| श्रृंखला: | Scientific Annals of Computer Science |
| ऑनलाइन पहुंच: | http://www.info.uaic.ro/bin/download/Annals/XXIII1/XXIII1_2.pdf |
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|