570 search results - page 30 / 114 » From Program Verification to Program Synthesis |
139
Voted
WOA
2010
15 years 8 days ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
113
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
174
Voted
AGP
2010
IEEE
15 years 14 days ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
108
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
129
click to vote
ALC
1997
15 years 3 months ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...