374 search results - page 46 / 75 » Using Language Inference to Verify Omega-Regular Properties |
144
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
149
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
264
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
183
click to vote
HASKELL
2007
ACM
15 years 9 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
180
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...