82 search results - page 17 / 17 » Operational Semantics for Model Checking Circus |
CDVE
2007
Springer
13 years 12 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...
PASTE
2005
ACM
13 years 11 months 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...