LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes-Reference-Cited by-同舟云学术

LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes

Published:2014 Issue: Volume: Page:620-627
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Sánchez Alejandro,Sánchez César

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_41

Reference28 articles.

1. Lecture Notes in Computer Science;P.A. Abdulla,1999

2. Abdulla, P.A., Delzanno, G., Rezine, A.: Approximated parameterized verif. of infinite-state processes with global conditions. FMSD 34(2), 126–156 (2009)

3. Apt, K.R., Kozen, D.C.: Limits for automatic verification of finite-state concurrent systems. Information Processing Letters 22(6), 307–309 (1986)

4. Lecture Notes in Computer Science;J. Berdine,2006

5. Lecture Notes in Computer Science;A.R. Bradley,2006

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

1. A Study on the Binding Mechanism and the Impact of Key Residue Mutations between SND1 and MTDH Peptide through Molecular Dynamics Simulations;The Journal of Physical Chemistry B;2024-09-14

2. Exploring binding modes of the selected inhibitors to SND1 by all-atom molecular dynamics simulations;Journal of Biomolecular Structure and Dynamics;2023-06-22

3. Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems;Annals of Mathematics and Artificial Intelligence;2016-11-15

4. Parameterized Compositional Model Checking;Tools and Algorithms for the Construction and Analysis of Systems;2016