Xeve, an Esterel verification environment-Reference-Cited by-同舟云学术

Xeve, an Esterel verification environment

Published:1998 Issue: Volume: Page:500-504
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bouali Amar

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0028770

Reference9 articles.

1. G. Berry, and G. Gonthier The Esterel Synchronous Programming Language: Design, Semantics, Implementation Science Of Computer Programming, 19(2):87–152, 1992.

2. A. Bouali, A. Ressouche, V. Roy, and R. de Simone. The FC2Tools set. In Proceedings of CAV'96 vol. 1102 of LNCS, 1996.

3. A. Bouali. XEVE: an ESTEREL Verification Environment (Version v1_3). Technical Report 214, INRIA, December 1997. http://ftp-sop.inria.fr/pub/rapports/RT214.ps.

4. A. Bouali and R. de Simone. Symbolic bisimulation minimisation. In Fourth Workshop on Computer-Aided Verification, volume 663 of LNCS, pages 96–108, Montreal, 1992. Springer-Verlag.

5. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking 10220 states and beyond. Information and Computation, 98(2):142–170, June 1992.

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

1. Contracts for System Design;Foundations and Trends® in Electronic Design Automation;2018

2. Formal modelling and verification of GALS systems using GRL and CADP;Formal Aspects of Computing;2016-09

3. Formally Unifying Modeling and Design for Embedded Systems - A Personal View;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016

4. Behavior-Preserving Abstraction of Esterel Programs;Annals of Computer Science and Information Systems;2015-10-11

5. A denotational semantics for Handel-C;Formal Aspects of Computing;2011-03