Interface Building for Software by Modular Three-Valued Abstraction Refinement

Pritam Roy

Verification of software systems is a very hard problem due to the large size of program state-space. The traditional techniques (like model checking) do not scale; since they incl…