Login / Signup

Parallel bug-finding in concurrent programs via reduced interleaving instances.

Truc L. NguyenPeter SchrammelBernd FischerSalvatore La TorreGennaro Parlato
Published in: ASE (2017)
Keyphrases
  • concurrent programs
  • process algebra
  • concurrent programming
  • source code
  • artificial intelligence
  • web services
  • object oriented
  • web applications
  • formal specification
  • parallel computing
  • massively parallel