{"id":341,"date":"2018-11-06T00:57:01","date_gmt":"2018-11-06T00:57:01","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=341"},"modified":"2018-12-10T03:17:17","modified_gmt":"2018-12-10T03:17:17","slug":"study-3-property-based-model-slicing-for-sos-verification","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/studies\/study-3-property-based-model-slicing-for-sos-verification\/","title":{"rendered":"[Study 3] Property-based Model Slicing for Efficient SoS Verification"},"content":{"rendered":"

\"\"<\/a><\/p>\n

Research Topics<\/strong><\/p>\n