-
1
-
-
35048827919
-
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
-
2
-
-
4644269527
-
Verification of object-oriented programs with invariants
-
Barnett, M., DeLine, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology 3 (2004)
-
(2004)
Journal of Object Technology
, vol.3
-
-
Barnett, M.1
Deline, R.2
Fähndrich, M.3
Leino, K.R.M.4
Schulte, W.5
-
3
-
-
79959994169
-
Specification and verification: The spec# experience
-
Barnett, M., Fähndrich, M., Leino, K.R.M., Müller, P., Schulte, W., Venter, H.: Specification and verification: the Spec# experience. Commun. ACM 54(6), 81-91 (2011)
-
(2011)
Commun. ACM
, vol.54
, Issue.6
, pp. 81-91
-
-
Barnett, M.1
Fähndrich, M.2
Leino, K.R.M.3
Müller, P.4
Schulte, W.5
Venter, H.6
-
4
-
-
70349325391
-
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
-
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
-
6
-
-
0004189634
-
-
Addison-Wesley
-
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley (1994)
-
(1994)
Design Patterns
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
7
-
-
0000913573
-
JML: A notation for detailed design
-
Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In: Behavioral Specifications of Businesses and Systems, pp. 175-188 (1999)
-
(1999)
Behavioral Specifications of Businesses and Systems
, pp. 175-188
-
-
Leavens, G.T.1
Baker, A.L.2
Ruby, C.3
-
8
-
-
34250166919
-
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
-
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
-
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
-
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
-
13
-
-
33746695393
-
Cooperation-based invariants for oo languages
-
Middelkoop, R., Huizing, C., Kuiper, R., Luit, E.J.: Cooperation-based invariants for OO languages. Electr. Notes Theor. Comput. Sci. 160, 225-237 (2006)
-
(2006)
Electr. Notes Theor. Comput. Sci.
, vol.160
, pp. 225-237
-
-
Middelkoop, R.1
Huizing, C.2
Kuiper, R.3
Luit, E.J.4
-
14
-
-
38549143057
-
Invariants for non-hierarchical object structures
-
Middelkoop, R., Huizing, C., Kuiper, R., Luit, E.J.: Invariants for non-hierarchical object structures. Electr. Notes Theor. Comput. Sci. 195, 211-229 (2008)
-
(2008)
Electr. Notes Theor. Comput. Sci.
, vol.195
, pp. 211-229
-
-
Middelkoop, R.1
Huizing, C.2
Kuiper, R.3
Luit, E.J.4
-
15
-
-
33746607322
-
Modular invariants for layered object structures
-
Müller, P., Poetzsch-Heffter, A., Leavens, G.T.: Modular invariants for layered object structures. Sci. Comput. Program. 62(3), 253-286 (2006)
-
(2006)
Sci. Comput. Program.
, vol.62
, Issue.3
, pp. 253-286
-
-
Müller, P.1
Poetzsch-Heffter, A.2
Leavens, G.T.3
-
16
-
-
49049098140
-
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
-
-
SAVCBS workshop series 2001-2010)
-
SAVCBS workshop series (2001-2010), http://www.eecs.ucf.edu/~leavens/ SAVCBS/
-
-
-
-
18
-
-
84900308414
-
-
Semantic Collaboration website
-
Semantic Collaboration website, http://se.inf.ethz.ch/people/polikarpova/ sc/
-
-
-
-
19
-
-
0025488794
-
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
-
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
-
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
|