메뉴 건너뛰기




Volumn 8442 LNCS, Issue , 2014, Pages 514-530

Flexible invariants through semantic collaboration

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84958543208     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-06410-9_35     Document Type: Conference Paper
Times cited : (33)

References (21)
  • 1
    • 35048827919 scopus 로고    scopus 로고
    • Friends need a bit more: Maintaining invariants over shared state
    • Kozen, D. (ed.), Springer, Heidelberg
    • Barnett, M., Naumann, D.A.: Friends need a bit more: Maintaining invariants over shared state. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 54-84. Springer, Heidelberg (2004)
    • (2004) MPC 2004. LNCS , vol.3125 , pp. 54-84
    • Barnett, M.1    Naumann, D.A.2
  • 4
    • 70349325391 scopus 로고    scopus 로고
    • VCC: A practical system for verifying concurrent c
    • Berghofer, S., Nip-kow, T., Urban, C., Wenzel, M. (eds.), Springer, Heidelberg
    • Cohen, E., Dahlweid, M., Hillebrand, M., Leinenbach, D., Moskal, M., Santen, T., Schulte, W., Tobies, S.: VCC: A practical system for verifying concurrent C. In: Berghofer, S., Nip-kow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 23-42. Springer, Heidelberg (2009)
    • (2009) TPHOLs 2009. LNCS , vol.5674 , pp. 23-42
    • Cohen, E.1    Dahlweid, M.2    Hillebrand, M.3    Leinenbach, D.4    Moskal, M.5    Santen, T.6    Schulte, W.7    Tobies, S.8
  • 5
    • 77954963599 scopus 로고    scopus 로고
    • Local verification of global invariants in concurrent programs
    • Touili, T., Cook, B., Jackson, P. (eds.), Springer, Heidelberg
    • Cohen, E., Moskal, M., Schulte, W., Tobies, S.: Local verification of global invariants in concurrent programs. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 480-494. Springer, Heidelberg (2010)
    • (2010) CAV 2010. LNCS , vol.6174 , pp. 480-494
    • Cohen, E.1    Moskal, M.2    Schulte, W.3    Tobies, S.4
  • 8
    • 34250166919 scopus 로고    scopus 로고
    • Specification and verification challenges for sequential object-oriented programs
    • Leavens, G.T., Leino, K.R.M., Müller, P.: Specification and verification challenges for sequential object-oriented programs. Formal Asp. Comput. 19(2), 159-189 (2007)
    • (2007) Formal Asp. Comput. , vol.19 , Issue.2 , pp. 159-189
    • Leavens, G.T.1    Leino, K.R.M.2    Müller, P.3
  • 9
    • 70649089223 scopus 로고    scopus 로고
    • Verifying the microsoft hyper-v hypervisor with vcc
    • Cav-alcanti, A., Dams, D.R. (eds.), Springer, Heidelberg
    • Leinenbach, D., Santen, T.: Verifying the Microsoft Hyper-V Hypervisor with VCC. In: Cav-alcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 806-809. Springer, Heidelberg (2009)
    • (2009) FM 2009. LNCS , vol.5850 , pp. 806-809
    • Leinenbach, D.1    Santen, T.2
  • 10
    • 35048835831 scopus 로고    scopus 로고
    • Object invariants in dynamic contexts
    • Odersky, M. (ed.), Springer, Heidelberg
    • Leino, K.R.M., Müller, P.: Object invariants in dynamic contexts. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 491-515. Springer, Heidelberg (2004)
    • (2004) ECOOP 2004. LNCS , vol.3086 , pp. 491-515
    • Leino, K.R.M.1    Müller, P.2
  • 11
    • 37149011236 scopus 로고    scopus 로고
    • Using history invariants to verify observers
    • De Nicola, R. (ed.), Springer, Heidelberg
    • Leino, K.R.M., Schulte, W.: Using history invariants to verify observers. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 80-94. Springer, Heidelberg (2007)
    • (2007) ESOP 2007. LNCS , vol.4421 , pp. 80-94
    • Leino, K.R.M.1    Schulte, W.2
  • 16
    • 49049098140 scopus 로고    scopus 로고
    • Class invariants: The end of the road?
    • Parkinson, M.J.: Class invariants: the end of the road? In: IWACO. ACM (2007)
    • (2007) IWACO. ACM
    • Parkinson, M.J.1
  • 17
    • 84900333190 scopus 로고    scopus 로고
    • SAVCBS workshop series 2001-2010)
    • SAVCBS workshop series (2001-2010), http://www.eecs.ucf.edu/~leavens/ SAVCBS/
  • 18
    • 84900308414 scopus 로고    scopus 로고
    • Semantic Collaboration website
    • Semantic Collaboration website, http://se.inf.ethz.ch/people/polikarpova/ sc/
  • 19
    • 0025488794 scopus 로고
    • Priority inheritance protocols: An approach to realtime synchronization
    • Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: An approach to realtime synchronization. IEEE Trans. Comput. 39(9), 1175-1185 (1990)
    • (1990) IEEE Trans. Comput. , vol.39 , Issue.9 , pp. 1175-1185
    • Sha, L.1    Rajkumar, R.2    Lehoczky, J.P.3
  • 20
    • 77949374781 scopus 로고    scopus 로고
    • Considerate reasoning and the composite design pattern
    • Barthe, G., Hermenegildo, M. (eds.), Springer, Heidelberg
    • Summers, A.J., Drossopoulou, S.: Considerate reasoning and the composite design pattern. In: Barthe, G., Hermenegildo, M. (eds.) VMCAI 2010. LNCS, vol. 5944, pp. 328-344. Springer, Heidelberg (2010)
    • (2010) VMCAI 2010. LNCS , vol.5944 , pp. 328-344
    • Summers, A.J.1    Drossopoulou, S.2
  • 21
    • 77955039225 scopus 로고    scopus 로고
    • The need for flexible object invariants
    • ACM
    • Summers, A.J., Drossopoulou, S., Müller, P.: The need for flexible object invariants. In: IWACO, pp. 1-9. ACM (2009)
    • (2009) IWACO , pp. 1-9
    • Summers, A.J.1    Drossopoulou, S.2    Müller, P.3


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