6 search results - page 2 / 2 » SMT-Based Bounded Model Checking for Embedded ANSI-C Softwar... |
POPL
2010
ACM
13 years 7 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...