Decision procedures for path feasibility of string-manipulating programs with complex operations

Taolue Chen, Matthew Hague, Anthony Lin, Philipp Rümmer, Zhilin Wu

Research output: Contribution to conference › Paper › peer-review

1 Finished

1 results

Filter

Finished

Verification of Concurrent and Higher-Order Recursive Programs
Hague, M.
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research