1472 search results - page 172 / 295 » On Model Checking Infinite-State Systems |
130
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
123
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
164
Voted
ADVIS
2006
Springer
15 years 10 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
136
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
139
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...