jackdaniels4me

·9 เดือนที่ผ่านมา·discuss

This is neat. I've used FizzBee and TLA+ for model checking. Being able to test the implementation would be nice. How is this different from test case generation in TLA+?