Rex

MaRDI QIDQ23824swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5477051

Cited in

(20)

• 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
• AUTOMATE
• Grail
• MONA
• VATA
• MTBDD
• Symbolic automata
• Phantm
• SFADiff
• SemMT
• SoftRegex
• SemRegex
• Symbolic tree automata
• Improving Symbolic Automata Learning with Concolic Execution
• scientific article; zbMATH DE number 7453082 (Why is no real title available?)
• From sequential extended regular expressions to NFA with symbolic labels

This page was built for software: Rex