The following pages link to (Q4809151):
Displayed 11 items.
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- Reformulation of global constraints based on constraints checkers (Q850448) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- Structural Presburger digit vector automata (Q2378536) (← links)
- An Evaluation of Automata Algorithms for String Analysis (Q3075486) (← links)
- Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) (Q3540195) (← links)
- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization (Q3618581) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q4571986) (← links)