Rex
From MaRDI portal
Software:23824
No author found.
Related Items (9)
Improving Symbolic Automata Learning with Concolic Execution ⋮ A symbolic decision procedure for symbolic alternating finite automata ⋮ Symbolic automatic relations and their applications to SMT and CHC solving ⋮ Unnamed Item ⋮ Symbolic tree automata ⋮ GR(1)*: GR(1) specifications extended with existential guarantees ⋮ From Sequential Extended Regular Expressions to NFA with Symbolic Labels ⋮ An Evaluation of Automata Algorithms for String Analysis ⋮ Completeness of string analysis for dynamic languages
This page was built for software: Rex
