{"searchText":"","platformLangISOCode":"","countryLabel":"university","schoolTypeLabel":"master-of-science","scholarGroupLabel":"formal-methods","subjectLabel":"formal-hardware-design","limit":22}