Rex
From MaRDI portal
swMATH11888MaRDI QIDQ23824FDOQ23824
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5477051
Cited In (19)
- GR(1)*: GR(1) specifications extended with existential guarantees
- An Evaluation of Automata Algorithms for String Analysis
- 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
- Grail
- MONA
- VATA
- MTBDD
- Symbolic automata
- Phantm
- SFADiff
- SemMT
- SoftRegex
- SemRegex
- Symbolic tree automata
- Improving Symbolic Automata Learning with Concolic Execution
- Title not available (Why is that?)
- From sequential extended regular expressions to NFA with symbolic labels
This page was built for software: Rex
