Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations

نتایج تجربی بر روی مجموعه های مختلف معیارها نشان می دهد که روش های پیشنهادی سریع تر و دقیق تر از روش های موجود متا اکتیویتی و تکاملی در مدل بررسی سیستم های نرم افزاری پیچیده مشخص شده از طریق تحولات گراف هستند.