Login / Signup

Automated Repair of Violated Eventually Properties in Concurrent Programs.

Irman FaqrizalQuentin NivonGwen Salaün
Published in: FormaliSE@ICSE (2024)
Keyphrases
  • concurrent programs
  • object oriented
  • real time
  • expert systems
  • general purpose
  • web applications