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]

  • LLNL Computation RT @Livermore_Comp: 7th Annual ESGF Conference participants, including several familiar faces from @Livermore_Comp Congras on their recent…
  • LLNL Computation RT @Livermore_Comp: The annual #ESGF conference highlights important work from LLNL’s international collaborators, like the Computer Resear…