sismic icon indicating copy to clipboard operation
sismic copied to clipboard

Published 20 hours ago • verified publisher icon AlexandreDecan

Branch tester-builder - convert python formula to property statecharts

Open AlexandreDecan opened this issue 6 years ago • 0 comments

This branch is a first attempt to create a kind of temporal logic in Python, that can be used to automatically generate property statecharts from a "Python formula".

AlexandreDecan avatar Feb 20 '18 08:02 AlexandreDecan