mole-h-6011

icon company Garleton College icon location Pursuing my degree. (you can call me mole-h)

Results 1 comments of mole-h-6011

How to write custom LTL rules to be checked in ESBMC?

> Hi @hzyrc6011, > > Thanks for your interest in using ESBMC. > > We researched converting LTL formulae to C monitors via Buechi Automata (cf. https://ssvlab.github.io/lucasccordeiro/papers/sosym2013.pdf). Can I ask...