search

opensciences / opensciences.github.io

Website for OpenScience -
http://openscience.us
MIT License
26 stars 18 forks source link

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs #848

Open vivekaxl opened 8 years ago

vivekaxl commented 8 years ago

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7372071&punumber%3D7371449%26filter%3DAND%28p_IS_Number%3A7371976%29%26pageNumber%3D4

vivekaxl commented 8 years ago

http://users.ecs.soton.ac. uk/gp4/cseq/files/lazy-cseq-1.0.tar.gz.