1724 search results - page 39 / 345 » Types as models: model checking message-passing programs |
ECOOP
1995
Springer
13 years 11 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...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
VLDB
1991
ACM
13 years 11 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...
ICALP
1997
Springer
13 years 12 months ago
1997
Springer
ATVA
2010
Springer
13 years 8 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...