SCOPUS 정보 검색 플랫폼

Journal of Logic and Computation

Volumn 12, Issue 4, 2002, Pages 549-560

Verifying concurrent systems with symbolic execution

(4) Balser, Michael a Duelli, Christoph a Reif, Wolfgang a Schellhorn, Gerhard a

a UNIVERSITY OF AUGSBURG (Germany)

Author keywords

Concurrent system; Induction; Parallel program; Program verification; Symbolic execution; Temporal logic

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENT ENGINEERING; DATA FLOW ANALYSIS; INTERACTIVE COMPUTER SYSTEMS; LOGIC PROGRAMMING; PARALLEL PROCESSING SYSTEMS; SEQUENTIAL MACHINES; THEOREM PROVING;

INTERACTIVE THEOREM PROVER; PARALLEL PROGRAMS; PROGRAM COUNTER VARIABLES; SEQUENTIAL PROGRAMS SYMBOLIC EXECUTION; TEMPORAL LOGIC;

FORMAL LOGIC;

EID: 0036679049 PISSN: 0955792X EISSN: None Source Type: Journal
DOI: 10.1093/logcom/12.4.549 Document Type: Article

Times cited : (12)

References (17)

1
- 0003452973
- Springer Verlag
- (1991) Verification of Sequential and Concurrent Systems
- Apt, K.R.¹ Olderog, E.R.²

2
- 55049132505
- Formal system development with KIV
- T. Maibaum, ed.; Lecture Notes in Computer Science, Springer
- (2000) Fundamental Approaches to Software Engineering , vol.1783
- Balser, M.¹ Reif, W.² Schellhorn, G.³ Stenzel, K.⁴ Thums, A.⁵

3
- 0005542361
- Deductive planning and plan reuse in a command language environment
- (1992) Proceedings of the 10th European Conference on Artificial Intelligence , pp. 628-632
- Biundo, S.¹ Dengler, D.² Koehler, J.³

4
- 0034206420
- Verifying temporal properties of reactive systems: A step tutorial
- (2000) Formal Methods in System Design , vol.16 , pp. 227-270
- Bjorner, N.¹ Brown, A.² Collon, M.³ Finkbeiner, B.⁴ Manna, Z.⁵ Sipma, H.⁶ Uribe, T.⁷

5
- 0031079312
- Automatic generation of invariants and intermediate assertions
- (1997) Theoretical Computer Science , vol.173 , pp. 49-87
- Bjorner, N.¹ Brown, A.² Manna, Z.³

6
- 0025595038
- 20 states and beyond
- Philadelphia, Pennsylvania, 4-7 June; IEEE Computer Society Press
- (1990) Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science , pp. 428-439
- Burch, J.R.¹ Clarke, E.M.² McMillan, K.L.³ Dill, D.L.⁴ Hwang, L.J.⁵

7
- 0011881992
- Program proving as hand simulation with a little induction
- (1974) Proceedings of the IFIP Congress , pp. 308-312
- Burstall, R.M.¹

8
- 0026285434
- A calculus of durations
- (1991) Information Processing Letters , vol.40 , pp. 269-276
- Chaochen, Z.¹ Hoare, C.A.R.² Ravn, A.P.³

9
- 0005584325
- CoFI: The common framework initiative casl - The CoFI algebraic specification language tentative design: Language summary
- (1997)

10
- 0001273055
- Dynamic logic
- D. Gabbay and F. Guenther, eds; Reidel
- (1984) Handbook of Philosophical Logic , vol.2 , pp. 496-604
- Harel, D.¹

11
- 0023365727
- Statecharts: A visual formalism for complex systems
- (1987) Science of Computer Programming , vol.8 , pp. 231-274
- Harel, D.¹

12
- 0030261971
- The statemate semantics of statecharts
- (1996) ACM Transactions on Software Engineering and Methodology , vol.5 , pp. 293-333
- Harel, D.¹ Naamad, A.²

13
- 84945708698
- An axiomatic basis for computer programming
- (1969) Communications of the ACM , vol.12 , pp. 576-580
- Hoare, C.A.R.¹

14
- 0028424892
- The temporal logic of actions
- (1994) ACM Transactions on Programming Languages and Systems , vol.16 , pp. 872-923
- Lamport, L.¹

15
- 0003572108
- Springer-Verlag
- (1995) Temporal Verification of Reactive Systems - Safety
- Manna, Z.¹ Pnueli, A.²

16
- 0022020113
- A temporal logic for multilevel reasoning about hardware
- (1985) IEEE Computer , vol.18 , pp. 10-19
- Moszkowski, B.¹

17
- 0027664392
- An introduction to assertional reasoning for concurrent systems
- (1993) ACM Computing Surveys , vol.25 , pp. 225-262
- Shankar, A.U.¹

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