Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Sequentialization translates concurrent programs into equivalent non- deterministic sequential programs so that the different concurrent schedules no longer need to be handled explicitly. It can thus be used as a concurrency pre- processor for many sequential program verification techniques. CSeq implements sequentialization for C and uses ESBMC as sequential verification backend (5).
['Bernd Fischer', 'Omar Inverso', 'Gennaro Parlato']
I am writing a research paper on a idea CSeq: A sequentialization tool for C (Competition Contribution)
[{"from": "human", "value": "I am writing a research paper on a idea CSeq: A sequentialization tool for C (Competition Contribution)"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Sequentialization translates concurrent programs into equivalent non- deterministic sequential programs so that the different concurrent schedules no longer need to be handled explicitly. It can thus be used as a concurrency pre- processor for many sequential program verification techniques. CSeq implements sequentialization for C and uses ESBMC as sequential verification backend (5)."}]