AutoFocus on Constraint Logic Programming
Lötzbeyer, Pretschner · 2000
The CASE tool AutoFocus allows for modeling and validating concurrent reactive systems on the basis of a simple, clearly defined formal semantics. It is shown how executable code for common Constraint Logic Programming languages can be generated automatically. Applications include simulation for rapid prototyping and debugging as well as the semi-automatic generation of test sequences.