2702 search results - page 11 / 541 » Practically Applicable Formal Methods |
TELSYS
2002
14 years 11 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
LARCH
1992
15 years 3 months ago
1992
162
click to vote
VLDB
2001
ACM
16 years 1 days ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
PVM
2007
Springer
15 years 6 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...