Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology-Reference-Cited by-同舟云学术

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

Published:2005 Issue: Volume: Page:217-233
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Mysore V.,Piazza C.,Mishra B.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11562948_18.pdf

Reference33 articles.

1. Alur, R., Courcoubetis, C., Dill, D.: Model-Checking for Real-Time Systems. In: International Symposium on Logic in Computer Science, vol. 5, pp. 414–425. IEEE Computer Press, Los Alamitos (1990)

2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138, 3–34 (1995)

3. Lecture Notes in Computer Science;R. Alur,2003

4. Anai, H.: Algebraic approach to analysis of discrete-time polynomial systems. In: ECC Karlsure, Germany (1999)

5. Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Reasoning about Biochemical Processes. Cell Biochemistry and Biophysics 38, 271–286 (2003)

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

1. A program logic to verify signal temporal logic specifications of hybrid systems;Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control;2021-05-19

2. Formal verification and quantitative metrics of MPSoC data dynamics;Formal Aspects of Computing;2018-03

3. Realization Theory of Nash Systems;SIAM Journal on Control and Optimization;2013-01

4. Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems;Logical Foundations of Computer Science;2013

5. Relational Abstractions for Continuous and Hybrid Systems;Computer Aided Verification;2011