Journal

Can a Model Checker Generate Tests for...

Boroday, S., Petrenko, A. and Groz, R. "Can a Model Checker Generate Tests for Non-Deterministic Systems?" Electronic Notes in Theoretical Computer Science, 190 (2) 2007 : 3-19
[Full text] [Abstract]

  • IVADO RT @IVADO_Qc: Montréal, cerveau de l'intelligence artificielle https://t.co/XZqjKerXZL via @LesEchos
  • Montréal Intl RT @MTLINTL: Indeed! #Montréal has so much to offer when it comes to #AI! Great video of .@business highlighting #Canada's rise of #Artific…