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