Telecharger Cours

SMT-based Model Checking of Transition Systems

The idea is not to write complicated specifications in temporal logic. (too hard to write and understand?use synchronous observers.).



Download