1492 search results - page 76 / 299 » Automatic Software Model Checking Using CLP |
119
click to vote
POPL
1999
ACM
15 years 5 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
121
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
114
click to vote
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
109
click to vote
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...