[Hol-info] [Vardi-list] Webinar & Call for Model-Checking Community Feedback

*** Apologies for multiple postings *    Webinar & Call for Model-Checking Community Feedback "Developing an Open-Source, State-of-the-Art Symbolic Model-Checking     Framework for the Model-Checking Research

[Hol-info] Call for Model-Checking Community Feedback

*** Apologies for multiple postings *    Webinar & Call for Model-Checking Community Feedback "Developing an Open-Source, State-of-the-Art Symbolic Model-Checking     Framework for the Model-Checking Research Community"