Login / Signup
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications.
Mahesh Nanjundappa
Matthew Kracht
Julien Ouy
Sandeep Kumar Shukla
Published in:
ACSD (2013)
Keyphrases
</>
multi threaded
high level
general purpose
unit testing
real time
artificial intelligence
distributed systems
computer architecture