3 ms·Generate and evaluate realistic interactive prototypes from formal models2 points by xo5vik 8y ago