2282 search results - page 122 / 457 » Active property checking |
120
click to vote
FAC
2007
15 years 4 months ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...
134
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
147
click to vote
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
125
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
124
click to vote
CPAIOR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In scheduling using constraint programming we usually reason only about possible start times and end times of activities and remove those which are recognized as unfeasib...