3147 search results - page 258 / 630 » Open-Source Model Checking |
143
Voted
ATAL
2008
Springer
15 years 5 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...
136
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
128
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
117
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
144
Voted
ENTCS
2006
15 years 3 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...