no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- related tags
- tags
- dblp
- verification
- imported
- parameterized
- statecharts
- modelchecking
- liveness
- BPM
- abstraction
- collection
- temporal
- statemate
- no-tag
- reactive_systems
- requirements
- concurrent
- automated
- bakery
- 2005
- invariant_discovery
- networkinvariant
- 1988
- cutoff
- finite_state
- completeness
- deductive
- semantics
- transactional-memory
- sos
- invariant
- logic
- acsys
- ltl2buchi
- German
- complexity
- process
- scenarios
- formal
- survey
- counter
- szymanski
- diagrams
- model_checking
- 1991
- 1990
- peterson
- diss
- CTL
- ws1s
- infinite_state
- No matching items.
- Zohar Manna, and Amir Pnueli. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, page 726--765. Springer-Verlag, (1994)Zohar Manna, and Amir Pnueli. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, page 726--765. Springer-Verlag, (1994)3 years and 2 months ago2
- Amir Pnueli, Jessie Xu, and Lenore D. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, page 107--122. London, UK, Springer-Verlag, (2002)Amir Pnueli, Jessie Xu, and Lenore D. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, page 107--122. London, UK, Springer-Verlag, (2002)3 years and 2 months ago2
- Amir Pnueli, and Lenore Zuck. Verification, Model Checking, and Abstract Interpretation (2003)Amir Pnueli, and Lenore Zuck. Verification, Model Checking, and Abstract Interpretation (2003)3 years and 2 months ago2
- Yonit Kesten, and Amir Pnueli. International Journal on Software Tools for Technology Transfer STTT 2(4):328--342 (March 2000)Yonit Kesten, and Amir Pnueli. International Journal on Software Tools for Technology Transfer STTT 2(4):328--342 (March 2000)3 years and 5 months ago2
- Yi Fang, Kenneth L. McMillan, Amir Pnueli, and Lenore D. Zuck. FORTE, page 356-371. (2006)Yi Fang, Kenneth L. McMillan, Amir Pnueli, and Lenore D. Zuck. FORTE, page 356-371. (2006)3 years and 5 months ago2
- Amir Pnueli, Sitvanit Ruah, and Lenore Zuck. TACAS, page 82-97. Springer, (2001)Amir Pnueli, Sitvanit Ruah, and Lenore Zuck. TACAS, page 82-97. Springer, (2001)3 years and 5 months ago2
- Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, and Lenore D. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 221--234. London, UK, Springer-Verlag, (2001)Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, and Lenore D. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 221--234. London, UK, Springer-Verlag, (2001)3 years and 5 months ago2
- Yonit Kesten, Amir Pnueli, Elad Shahar, and Lenore D. Zuck. CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory, page 101--115. London, UK, Springer-Verlag, (2002)Yonit Kesten, Amir Pnueli, Elad Shahar, and Lenore D. Zuck. CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory, page 101--115. London, UK, Springer-Verlag, (2002)3 years and 5 months ago2