Opensource Formal property checking tools

[tariq786]

Hi folks

I hope you are well. I am wondering if there are any free open source formal property checking tools available?

Thanks

 

[yadavvlsi]

Fedora electronic lab provide a bunch of open source EDA tools. For details check their webpage.
**broken link removed**

 

[tariq786]

Thanks yadavvlsi,its very useful. But it has no formal verification tool.

Any ways excellent site to keep track of.

Thanks a zillion