U11ttMNU12ttactivateMactivateNU12ttMNsplusactivateNactivateMU21ttMNU22ttactivateMactivateNU22ttMNplusxactivateNactivateMactivateNplusN0NplusNsMU11ttMNxN00xNsMU21ttMNactivateXX2.0U11ttMNU12ttactivateMactivateNU11ttMNactivateMU11ttMNactivateNU12ttMNplusactivateNactivateMU12ttMNactivateNU12ttMNactivateMU21ttMNU22ttactivateMactivateNU21ttMNactivateMU21ttMNactivateNU22ttMNplusxactivateNactivateMactivateNU22ttMNxactivateNactivateMU22ttMNactivateNU22ttMNactivateMplusNsMU11ttMNxNsMU21ttMNtrueU22ttMNxactivateNactivateMxNsMU21ttMNU21ttMNU22ttactivateMactivateNtrue123456789101U223112tt00x2112activate111s1111U213112U22ttMNxactivateNactivateMU21ttMNU22ttactivateMactivateNactivateXXU21ttMNU22ttactivateMactivateNfalse1U22ttMNxactivateNactivateMfalseU22ttMNplusxactivateNactivateMactivateNfalse12345U12ttMNplusactivateNactivateMplusNsMU11ttMNU11ttMNU12ttactivateMactivateNtrue12341plus2212U123212activate111tt00s1221U113212U12ttMNplusactivateNactivateMU11ttMNU12ttactivateMactivateNactivateXXU11ttMNU12ttactivateMactivateNfalse1U12ttMNplusactivateNactivateMfalseU11ttMNactivateMfalseU11ttMNactivateNfalseU12ttMNactivateNfalseU12ttMNactivateMfalseU21ttMNactivateMfalseU21ttMNactivateNfalseU22ttMNactivateNfalseU22ttMNactivateMfalse
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe