Sciweavers

2 search results - page 1 / 1
» Practical Automated Partial Verification of Multi-Paradigm R...
Sort
View
CORR
2008
Springer
179views Education» more  CORR 2008»
13 years 2 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
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...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
9
Voted
ATAL
2008
Springer
13 years 4 months ago
Checking correctness of business contracts via commitments
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...
Nirmit Desai, Nanjangud C. Narendra, Munindar P. S...