37 search results - page 1 / 8 » A machine-checked model of safe composition |
FMICS
2007
Springer
13 years 11 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
IEEESCC
2006
IEEE
13 years 11 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
FOAL
2009
ACM
13 years 11 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...