A concurrent automatic programming system
Ken Kennedy · 2008
Multi-core processors have introduced a greater need for concurrent specifications. Additionally, many specifications require proof of correctness. We present a new automatic programming system designed for the creation, execution, and formal verification of concurrent specifications that is based upon colored Petri nets.