12981 search results - page 177 / 2597 » Model Checking (Abstract) |
145
click to vote
TASE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
105
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
155
click to vote
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
211
click to vote
PTS
2007
15 years 4 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
123
click to vote
FORTE
2004
15 years 4 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...