OSTRICH: String Constraint Solver

Matthew Hague (Creator)
Philipp Ruemmer (Creator)

Department of Computer Science

Dataset

Date made available	2018
Publisher	Royal Holloway, University of London

Access Dataset

https://github.com/pruemmer/ostrich

1 Paper

Decision procedures for path feasibility of string-manipulating programs with complex operations
Chen, T., Hague, M., Lin, A., Rümmer, P. & Wu, Z., 2 Jan 2019, (E-pub ahead of print) p. 1-30. 30 p.
Research output: Contribution to conference › Paper › peer-review

Open Access

1 Finished

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

Cite this