2004 search results - page 7 / 401 » Comparison of Model Checking Tools for Information Systems |
104
click to vote
WICSA
2007
15 years 26 days ago
2007
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
ISW
2005
Springer
15 years 5 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
ENTCS
2006
14 years 11 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
104
click to vote
CASCON
2001
15 years 1 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Configuration and change request management systems offer valuable information for the assessment of process quality characteristics. The definition of appropriate metrics that ad...