6 search results - page 2 / 2 » Incremental, Inductive CTL Model Checking |
116
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....