A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems-Reference-Cited by-同舟云学术

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

Published:2013 Issue: Volume: Page:199-214
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

André Étienne,Barbot Benoît,Démoulins Clément,Hillah Lom Messan,Hulin-Hubard Francis,Kordon Fabrice,Linard Alban,Petrucci Laure

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-41202-8_14

Reference24 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

2. Lecture Notes in Computer Science;É. André,2012

3. André, É., Hillah, L.-M., Hulin-Hubard, F., Kordon, F., Lembachar, Y., Linard, A., Petrucci, L.: CosyVerif: An open source extensible verification environment. In: ICECCS. IEEE Computer Society (to appear, 2013)

4. Baldan, P., Bruni, A., Corradini, A., König, B., Rodríguez, C., Schwoon, S.: Efficient unfolding of contextual Petri nets. Theoretical Computer Science 449, 2–22 (2012)

5. Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: HASL: An expressive language for statistical verification of stochastic models. In: VALUETOOLS, pp. 306–315 (2011)

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

1. CosyVerif: The Path to Formalisms Cohabitation;Lecture Notes in Computer Science;2024

2. Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets;IEEE Transactions on Control Systems Technology;2016-09

3. Reusing Symbolic Observation Graph for Efficient Model Checking;2015 Seventh International Conference on Knowledge and Systems Engineering (KSE);2015-10