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