how would model checking differ for software?

Previous slide Next slide Back to first slide View graphic version