SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 68, Issue 4, 2002, Pages 559-574

Using assumptions to distribute CTL model checking

(3) Brim, Luboš a Crhová, Jitka a Yorav, Karen b,c

a MASARYK UNIVERSITY (Czech Republic)

b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY (Israel)

c CARNEGIE MELLON UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROBABILITY; PROBLEM SOLVING; SEMANTICS; STATE SPACE METHODS; TREES (MATHEMATICS);

DISTRIBUTED ALGORITHMS; KRIPKE STRUCTURE; MODEL CHECKING ALGORITHMS; MODELS CHECKING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 13844317987 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(05)80758-3 Document Type: Conference Paper

Times cited : (15)

References (16)

1
- 84894619258
- Distributed LTL Model-Checking in SPIN
- Dwyer M.B.
- Barnat J., Brim L., Stříbrná J. Distributed LTL Model-Checking in SPIN. in: Dwyer M.B. Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'01), LNCS. 2057:2001;217-234
- (2001) Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'01), LNCS , vol.2057 , pp. 217-234
- Barnat, J.¹ Brim, L.² Stříbrná, J.³

2
- 18544388114
- Property Driven Distribution of Nested DFS
- Barnat J., Brim L., Černá I. Property Driven Distribution of Nested DFS. VCL'02, Pittsburgh, USA. 2002
- (2002) VCL'02, Pittsburgh, USA
- Barnat, J.¹ Brim, L.² Černá, I.³

3
- 84949196273
- Compositional reasoning in model checking
- Berezin S., Campos S., Clarke E.M. Compositional reasoning in model checking. COMPOS. 1997;81-102
- (1997) COMPOS , pp. 81-102
- Berezin, S.¹ Campos, S.² Clarke, E.M.³

4
- 13844317987
- Using Assumptions to Distribute CTL Model Checking
- Brim L., Crhová J., Yorav K. Using Assumptions to Distribute CTL Model Checking. Technical Report FIMU-RS-2002 - 02, Faculty of Informatics, Masaryk University Brno. 2002
- (2002) Technical Report FIMU-RS-2002 - 02, Faculty of Informatics, Masaryk University Brno
- Brim, L.¹ Crhová, J.² Yorav, K.³

5
- 84957073398
- Model checking partial state spaces with 3-valued temporal logics
- Bruns G., Godefroid P. Model checking partial state spaces with 3-valued temporal logics. Proc. 11th International Computer Aided Verification Conference. 1999;274-287
- (1999) Proc. 11th International Computer Aided Verification Conference , pp. 274-287
- Bruns, G.¹ Godefroid, P.²

6
- 0003962322
- Cambridge, Massachusetts: The MIT Press
- Clarke E.M., Grumberg O., Peled D.A. "Model Checking," 1999;The MIT Press, Cambridge, Massachusetts
- (1999) Model Checking
- Clarke, E.M.¹ Grumberg, O.² Peled, D.A.³

7
- 0039332719
- An automata-theoretic approach to modular model checking
- Kupferman O., Vardi M. An automata-theoretic approach to modular model checking. ACMTOPLAS: ACM Transactions on Programming Languages and Systems. 22:2000
- (2000) ACMTOPLAS: ACM Transactions on Programming Languages and Systems , vol.22
- Kupferman, O.¹ Vardi, M.²

8
- 84949229557
- Modular model checking
- Kupferman O., Vardi M.Y. Modular model checking. COMPOS. 1997;381-401
- (1997) COMPOS , pp. 381-401
- Kupferman, O.¹ Vardi, M.Y.²

9
- 84864017686
- Modular model checking of software
- Laster K., Grumberg O. Modular model checking of software. TACAS'98, LNCS. 1384:1998;20-35
- (1998) TACAS'98, LNCS , vol.1384 , pp. 20-35
- Laster, K.¹ Grumberg, O.²

10
- 22844454480
- Distributed-memory model checking with SPIN, Proceedings of the 6th International SPIN Workshop on Model Checking of Software (SPIN'99)
- Lerda F., Sisto R. Distributed-memory model checking with SPIN, Proceedings of the 6th International SPIN Workshop on Model Checking of Software (SPIN'99). LNCS. 1680:1999;22-39
- (1999) LNCS , vol.1680 , pp. 22-39
- Lerda, F.¹ Sisto, R.²

11
- 34247884915
- Modular verification for a class of PLTL properties
- Pierre-Alain Masson, Hassan Mountassir J.J. Modular verification for a class of PLTL properties. LNCS. 1945:2000;398-419
- (2000) LNCS , vol.1945 , pp. 398-419
- Pierre-Alain, M.¹ Hassan Mountassir, J.J.²

12
- 84949222665
- Pushdown processes: Parallel composition and model checking CONCUR'94
- Steffen B., Burkart O. Pushdown processes: Parallel composition and model checking CONCUR'94. LNCS. 836:1994;98-113
- (1994) LNCS , vol.836 , pp. 98-113
- Steffen, B.¹ Burkart, O.²

13
- 84878659698
- Compositional verification in linear-time temporal logic
- Tsay Y.-K. Compositional verification in linear-time temporal logic. FoSSaCS 2000. 2000;344-358
- (2000) FoSSaCS 2000 , pp. 344-358
- Tsay, Y.-K.¹

14
- 84947425596
- Parallelizing the Murφ verifier
- Grumberg O.
- Stern U., Dill D.L. Parallelizing the Murφ verifier. in: Grumberg O. Proceedings of Computer Aided Verification (CAV '97) LNCS. 1254:1997;256-267
- (1997) Proceedings of Computer Aided Verification (CAV '97) LNCS , vol.1254 , pp. 256-267
- Stern, U.¹ Dill, D.L.²

15
- 84947757624
- Model checking CTL properties of pushdown systems
- Walukiewicz I. Model checking CTL properties of pushdown systems. Foundations of Software Technology and Theoretical Computer Science, LNCS. 1974:2000;127-138
- (2000) Foundations of Software Technology and Theoretical Computer Science, LNCS , vol.1974 , pp. 127-138
- Walukiewicz, I.¹

16
- 18944373014
- Yorav K. "Exploiting Syntactic Structure for Automatic Verification," Ph.D. thesis, Technion, Haifa, Israel. 2000
- (2000) "Exploiting Syntactic Structure for Automatic Verification," Ph.D. Thesis, Technion, Haifa, Israel
- Yorav, K.¹

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