Zhou, Conghua (2010) A Compositional Symbolic Verification Framework for Concurrent Software. In: 2nd International ICST Conference on Scalable Information Systems.
![[thumbnail of 14121.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "14121.pdf")
PDF
14121.pdf
Download (196kB)
Abstract
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 Checki
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:24 |
| Last Modified: | 18 Apr 2026 04:15 |
| URI: | http://eprints.eai.eu/id/eprint/5759 |
Actions (login required)
- View Item