Ensure the semantic consistency between the model checker and the simulator
(from redmine: issue id 799, created on 2012-05-02, closed on 2012-07-24)
- Relations:
- parent #840 (closed)
(from redmine: issue id 799, created on 2012-05-02, closed on 2012-07-24)