메뉴 건너뛰기




Volumn 28, Issue 3, 2006, Pages 263-289

Optimistic synchronization-based state-space reduction

Author keywords

Model checking; Omega algebra; Partial order methods; Reduction

Indexed keywords

MODEL CHECKING; OMEGA ALGEBRA; PARTIAL-ORDER METHODS; REDUCTION THEOREMS;

EID: 33745440292     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10703-006-0003-4     Document Type: Article
Times cited : (5)

References (21)
  • 3
    • 84945912413 scopus 로고    scopus 로고
    • Reduction in TLA
    • Proc. 9th Int'l. Conference on Concurrency Theory (CONCUR), Springer-Verlag
    • E. Cohen and L. Lamport, "Reduction in TLA," in Proc. 9th Int'l. Conference on Concurrency Theory (CONCUR), vol. 1466 of Lecture Notes in Computer Science, Springer-Verlag, 1998, pp. 317-331.
    • (1998) Lecture Notes in Computer Science , vol.1466 , pp. 317-331
    • Cohen, E.1    Lamport, L.2
  • 4
    • 84976490328 scopus 로고    scopus 로고
    • Separation and reduction
    • Proc. 5th Int'l. Conference on Mathematics of Program Construction, Springer-Verlag
    • E. Cohen, "Separation and reduction," in Proc. 5th Int'l. Conference on Mathematics of Program Construction, vol. 1837 of Lecture Notes in Computer Science, Springer-Verlag, 2000.
    • (2000) Lecture Notes in Computer Science , vol.1837
    • Cohen, E.1
  • 7
    • 84937552136 scopus 로고    scopus 로고
    • A modular checker for multithreaded programs
    • Proc. 14th Int'l. Conference on Computer-Aided Verification (CAV), Springer-Verlag
    • C. Flanagan, S. Qadeer, and S. Seshia, "A modular checker for multithreaded programs," in Proc. 14th Int'l. Conference on Computer-Aided Verification (CAV), vol. 2404 of Lecture Notes in Computer Science, Springer-Verlag, 2002, pp. 180-194.
    • (2002) Lecture Notes in Computer Science , vol.2404 , pp. 180-194
    • Flanagan, C.1    Qadeer, S.2    Seshia, S.3
  • 9
    • 0003758313 scopus 로고    scopus 로고
    • Partial-Order Methods for the Verification of Concurrent Systems. Springer-Verlag
    • P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems, vol. 1032 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
    • (1996) Lecture Notes in Computer Science , vol.1032
    • Godefroid, P.1
  • 12
    • 18944390941 scopus 로고    scopus 로고
    • The Spin model checker
    • G.J. Holzmann, "The Spin model checker,"IEEE Trans. Softw. Engi., Vol. 23, No. 5, pp. 279-295, 1997.
    • (1997) IEEE Trans. Softw. Engi. , vol.23 , Issue.5 , pp. 279-295
    • Holzmann, G.J.1
  • 14
    • 0000042790 scopus 로고
    • A completeness theorem for Kleene algebras and the algebra of regular events
    • D. Kozen, "A completeness theorem for Kleene algebras and the algebra of regular events," Inform. Comput., Vol. 110, No. 2, pp. 366-390, 1994.
    • (1994) Inform. Comput. , vol.110 , Issue.2 , pp. 366-390
    • Kozen, D.1
  • 15
    • 0016592810 scopus 로고
    • Reduction: A method of proving properties of parallel programs
    • R.J. Lipton, "Reduction: A method of proving properties of parallel programs," Communications of the ACM, Vol. 18, No. 12, pp. 717-721, 1975.
    • (1975) Communications of the ACM , vol.18 , Issue.12 , pp. 717-721
    • Lipton, R.J.1
  • 18
    • 84896693606 scopus 로고    scopus 로고
    • Model-checking multi-threaded distributed Java programs
    • S.D. Stoller, "Model-checking multi-threaded distributed Java programs," Int. J. on Softw. Tools for Technol. Trans., Vol. 4, No. 1, pp. 71-91, 2002.
    • (2002) Int. J. on Softw. Tools for Technol. Trans. , vol.4 , Issue.1 , pp. 71-91
    • Stoller, S.D.1
  • 19
    • 0037726363 scopus 로고    scopus 로고
    • Stubborn set methods for process algebras
    • D. Peled, V.R. Pratt, and G.J. Holzmann (Eds.), DIMACS Series, American Mathematical Society
    • A. Valmari, "Stubborn set methods for process algebras," in D. Peled, V.R. Pratt, and G.J. Holzmann (Eds.), Proc. Workshop on Partial Order Methods in Verification, vol. 29 of DIMACS Series, American Mathematical Society, 1997, pp. 213-231.
    • (1997) Proc. Workshop on Partial Order Methods in Verification , vol.29 , pp. 213-231
    • Valmari, A.1
  • 20
    • 0035552051 scopus 로고    scopus 로고
    • Object race detection
    • Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), ACM Press
    • C. von Praun and T.R. Gross, "Object race detection," in Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), vol. 36(11) of SIGPLAN Notices, ACM Press, 2001, pp. 70-82.
    • (2001) SIGPLAN Notices , vol.36 , Issue.11 , pp. 70-82
    • Von Praun, C.1    Gross, T.R.2


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