SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1427 LNCS, Issue , 1998, Pages 500-504

XEVE, an ESTEREL verification environment

(1) Bouali, Amar a

a INRIA (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; ESTERS; SEMANTICS; COMPUTATIONAL LINGUISTICS; LOGIC CIRCUITS;

AUTOMATIC VERIFICATION; CORRECTNESS PROPERTIES; MATHEMATICAL SEMANTICS; MODEL-CHECKING TECHNIQUES; SOFTWARE CONTROLLERS; SYNCHRONOUS REACTIVE SYSTEMS; VERIFICATION ENVIRONMENT; VERIFICATION METHOD;

MODEL CHECKING;

EID: 84863943881 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/bfb0028770 Document Type: Conference Paper

Times cited : (43)

References (9)

1
- 0026953373
- G. Berry, and G. Gonthier The Esterei Synchronous Programming Language: Design, Semantics, Implementation Science Of Computer Programming, 19(2):87-152, 1992.
- (1992) The Esterei Synchronous Programming Language: Design, Semantics, Implementation Science of Computer Programming , vol.19 , Issue.2 , pp. 87-152
- Berry, G.¹ Gonthier, G.²

2
- 84863932370
- The FC2Tools set
- of LNCS
- A. Bouali, A. Ressouche, V. Roy, and R. de Simone. The FC2Tools set. In Proceedings of CAV'96 vol. 1102 of LNCS, 1996.
- (1996) Proceedings of CAV'96 , vol.1102
- Bouali, A.¹ Ressouche, A.² Roy, V.³ De Simone, R.⁴

3
- 33244498083
- XEVE: An ESTEREL verification environment (Version vl-3)
- December
- A. Bouali. XEVE: an ESTEREL Verification Environment (Version vl-3). Technical Report 214, INRIA, December 1997. http://ftp-sop.inria.fr/pub/ rapports/RT-214.ps.
- (1997) Technical Report 214, INRIA
- Bouali, A.¹

4
- 85029439013
- Symbolic bisimulation minimisation
- of LNCS Montreal Springer-Verlag
- 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.
- (1992) Fourth Workshop on Computer-aided Verification , vol.663 , pp. 96-108
- Bouali, A.¹ De Simone, R.²

5
- 35048900689
- 20 states and beyond
- June
- 20 states and beyond. Information and Computation, 98(2):142-170, June 1992.
- (1992) Information and Computation , vol.98 , Issue.2 , pp. 142-170
- Burch, J.R.¹ Clarke, E.M.² McMillan, K.L.³ Dill, D.L.⁴ Hwang, L.J.⁵

6
- 0000531015
- Verification of synchronous sequential machines based on symbolic execution
- Grenoble, France LNCS 407, Springer-Verlag
- O. Coudert, C. Berthet, and J.C. Madre. Verification of synchronous sequential machines based on symbolic execution. In Automatic Verification Methods For Finite State Systems, Grenoble, France, 1989. LNCS 407, Springer-Verlag.
- (1989) Automatic Verification Methods for Finite State Systems
- Coudert, O.¹ Berthet, C.² Madre, J.C.³

7
- 0025432462
- CCS expressions, finite state processes, and three problems of equivalence
- P.C. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Information and Computation, 86:43-68, 1990.
- (1990) Information and Computation , vol.86 , pp. 43-68
- Kanellakis, P.C.¹ Smolka, S.A.²

8
- 0003581143
- Kluwer Academic Publishers
- Mc Millan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
- (1993) Symbolic Model Checking
- Millan, M.¹

9
- 0000223296
- Concurrency and automata on infinite sequences
- P. Deussen, editor of LNCS
- th GI Conference, vol. 104 of LNCS, 1981.
- (1981) th GI Conference , vol.104
- Park, D.M.R.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.