1724 search results - page 39 / 345 » Types as models: model checking message-passing programs |
141
Voted
ECOOP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
210
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
147
Voted
VLDB
1991
ACM
15 years 6 months ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
93
Voted
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
131
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...