FMona: A Tool for Expressing Validation Techniques over Infinite State Systems-Reference-Cited by-同舟云学术

FMona: A Tool for Expressing Validation Techniques over Infinite State Systems

Published:2000 Issue: Volume: Page:204-219
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Bodeveix J.-P.,Filali M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46419-0_15

Reference22 articles.

1. J. Archibald and J.-L. Baer. Cache coherence protocols: Evaluation using a multiprocessor simulation model. ACM Transactions on Computer Systems, 4(4):273–298, November 1986. 214

2. Lect Notes Comput Sci;P. A. Abdulla,1999

3. Lect Notes Comput Sci;A. Ayari,1997

4. A. Arnold. Systèmes de transitions finis et sémantiques des processus communicants. Etudes et recherches en informatique. MASSON, 1992. 206

5. BBC+97._B. Barras, S. Boutin, C. Cornes, J. Courant, J.C. Filliatre, E. Giménez, H. Herbelin, G. Huet, C. Muñoz, C. Murthy, C. Parent, C. Paulin, A. Saïbi, and B. Werner. The Coq Proof Assistant Reference Manual — Version V6.1. Technical Report 0203, INRIA, August 1997. 204

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automata Terms in a Lazy WSkS Decision Procedure;Journal of Automated Reasoning;2021-08-03

2. Automata Terms in a Lazy WSkS Decision Procedure;Lecture Notes in Computer Science;2019

3. Polynomial Time Image Computation with Interval-Definable Counters Systems;Model Checking Software;2004

4. Image Computation in Infinite State Model Checking;Computer Aided Verification;2004

5. How to Compose Presburger-Accelerations: Applications to Broadcast Protocols;FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science;2002