449 search results - page 15 / 90 » Model Checking Large Software Specifications |
CBSE
2009
Springer
14 years 1 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
NJC
2006
13 years 6 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
QSIC
2007
IEEE
14 years 1 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
SIGSOFT
2009
ACM
14 years 7 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
RE
2007
Springer
14 years 25 days ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...