A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
A Compositional Symbolic Verification Framework for Concurrent Software
Proceedings of the 2nd International ICST Conference on Scalable Information Systems
For concurrent software systems state/event linear temporal logic SE-LTL is a specification language with high expressive power and the ability to reason about both states and events. Until now, SE-LTL model checking algorithm is still explicit. For SE-LTL we provide a SAT-based Bounded Model Checking procedure. We also present a framework for model checking concurrent software systems which integrates three powerful verification techniques, SAT-based Bounded Model Checking,doi:10.4108/infoscale.2007.906 dblp:conf/infoscale/Zhou07 fatcat:6durmlct4jbgflcc2xa2rspevi