Την Τετάρτη 27 Σεπτεμβριου στις 15.00 ο καθηγητής Razan Diaconescu από το Ινστιτούτο Μαθηματικών της Ρουμανικής Ακαδημίας (IMAR) ο οποίος επισκέπτεται τον Τομέα μας θα δώσει διαδικτυακή διάλεξη (https://centralntua.webex.com/meet/pstef) με θέμα :
TWO RECENT LOGIC-BASED VERIFICATION LANGUAGES
Abstract : ” The algebraic specification tradition keeps producing new formalism for formal verification. We explore two of them, H and COMP. They are different from each other both in terms of mathematical foundations and in their application domains. While H is based on rather sophisticated institution-theoretic foundations in connection with huybrid modal logics, COMP is based on a form of universal algebra which realizes the behavioural specification paradigm. In the end both languages support forms of (almost) automatic theorem proving.