276 search results - page 32 / 56 » Dynamic Path Reduction for Software Model Checking |
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
MSWIM
2006
ACM
14 years 2 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
AAI
2007
13 years 8 months ago
2007
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
ISSE
2007
13 years 8 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...