Rex
From MaRDI portal
Software:23824
swMATH11888MaRDI QIDQ23824FDOQ23824
Author name not available (Why is that?)
Cited In (9)
- GR(1)*: GR(1) specifications extended with existential guarantees
- An Evaluation of Automata Algorithms for String Analysis
- From Sequential Extended Regular Expressions to NFA with Symbolic Labels
- Completeness of string analysis for dynamic languages
- A symbolic decision procedure for symbolic alternating finite automata
- Symbolic automatic relations and their applications to SMT and CHC solving
- Symbolic tree automata
- Improving Symbolic Automata Learning with Concolic Execution
- Title not available (Why is that?)
This page was built for software: Rex
