2 search results - page 1 / 1 » Practical Automated Partial Verification of Multi-Paradigm R... |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...