730 followers
RT @arutkaleeswaran: Does the counterexample given by model checker is hard to understand? Here we go: https://t.co/muVnKOs5ma Co-authors:…
RT @arutkaleeswaran: Does the counterexample given by model checker is hard to understand? Here we go: https://t.co/muVnKOs5ma Co-authors:…
Does the counterexample given by model checker is hard to understand? Here we go: https://t.co/muVnKOs5ma Co-authors: @arnenordmann , @tomvog , and Prof. Lars Grunske. #IMBSA2020 #FormalMethods #CounterexampleInterpretation