82 search results - page 17 / 17 » Operational Semantics for Model Checking Circus |
196
click to vote
CDVE
2007
Springer
16 years 1 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
211
click to vote
PASTE
2005
ACM
16 years 16 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...