3 search results - page 1 / 1 » Verifying CIM Models of Apache Web-Server Configurations |
131
Voted
QSIC
2003
IEEE
16 years 20 days ago
2003
IEEE
208
click to vote
LISA
2004
15 years 8 months ago
2004
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ...
262
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...