Title: Se mantic analysis of specification logic