Login / Signup

Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report.

Andreas KatisAndrew GacekMichael W. Whalen
Published in: FormaliSE@ICSE (2016)
Keyphrases
  • independent and identically distributed
  • program synthesis
  • supply chain
  • real time
  • theoretical framework
  • causal reasoning
  • database
  • neural network
  • real world
  • cognitive psychology
  • defeasible logic