Alchemy: transmuting base alloy specifications into implementations.

Shriram Krishnamurthi Kathi Fisler Daniel J. Dougherty Daniel 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