Sign in

Alchemy: transmuting base alloy specifications into implementations.

Shriram KrishnamurthiKathi FislerDaniel J. DoughertyDaniel Yoo
Published in: SIGSOFT FSE (2008)
Keyphrases
  • real time
  • real world
  • image sequences
  • formal specification
  • concurrent systems
  • artificial intelligence
  • case study
  • multiresolution
  • control flow
  • formal verification
  • parallel implementations
  • bounded model checking