2282 search results - page 186 / 457 » Active property checking |
177
click to vote
FSTTCS
2004
Springer
16 years 14 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
189
click to vote
ICDCIT
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
192
click to vote
STEP
2003
IEEE
16 years 10 days ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
203
click to vote
CSL
2003
Springer
16 years 9 days ago
2003
Springer
Using the Lempel-Ziv-78 compression algorithm to compress a string yields a dictionary of substrings, i.e. an edge-labelled tree with an order-compatible enumeration, here called a...
161
Voted
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...