31 search results - page 7 / 7 » Automatic Generation of English-language Steps in Puzzle Sol... |
73
Voted
SIGSOFT
2003
ACM
15 years 11 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 ...