12981 search results - page 515 / 2597 » Model Checking (Abstract) |
165
Voted
COMPSAC
2009
IEEE
16 years 27 days ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
131
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
156
click to vote
PPDP
2009
Springer
16 years 21 days ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
161
click to vote
ICDCS
2007
IEEE
16 years 14 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
143
Voted
FMCAD
2007
Springer
16 years 9 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...