publication . Preprint . 2012

Model-Checking of Linear-Time Properties in Multi-Valued Systems

Li, Yongming; Droste, Manfred; Lei, Lihui;
Open Access English
  • Published: 26 Nov 2012
Comment: 50 pages, 9 figures, 2 tables
free text keywords: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, 68Q60
Related Organizations
Download from
30 references, page 1 of 2

[1] B. Alpern, F. Schneider, Defining liveness, Information Processing Letters, 21, 181-185, 1985.

[2] C. Baier, J. P. Katoen, Principles of Model Checking, MIT Press, Cambridge, Massacasetts, 2008.

[3] G. Birkhoff, Lattice Theory, Third Edition, Amer. Math. Soc., Providence, Rhode Island, USA, 1973.

[4] L. Bloc, P. Borowik, Muti-Vauled Logics, Springer-Verlag, Birlin, 1992.

[5] G. Bruns, P. Godefroid, Model checking partial state spaces with 3-valued temporal logics. In Proceedings of the 11th International Conference on Computer-Aided Verification (CAV99), (Trento, Italy). Lecture Notes in Computer Science, vol. 1633, Springer, pp. 274-287, 1999. [OpenAIRE]

[6] G. Bruns, P. Godefroid, Generalized model checking: Reasoning about partial state spaces. In Proceedings of the 11th InternationalConference onConcurrencyTheory (CONCUR00), C.Palamidessi, eds., Lecture Notes in Computer Science, vol. 1877, Springer, pp. 168-182, 2000. [OpenAIRE]

[7] M. Chechik, On interpreting results of model-checking with abstraction, CSRG Technical Report 417, University of Toronto, Department of Computer Science, September 2000.

[8] M. Chechik, B. Deverux, A. Gurfinkel, Model-checking infinite state-space systems with fine-grained abstractions using SPIN. In Proceedings of the 8th SPIN Workshop on Model Checking Software, Toronto, Canada. Lecture Notes in Computer Science, vol. 2057, Springer, pp. 16-36, 2001.

[9] M. Chechik, B. Devereux, A. Gurfinkel, S. Easterbrook, Multi-valued symbolic model-checking, ACM Transactions on Software Engineering and Methodology, 12(4), 371-408, 2003. [OpenAIRE]

[10] M. Chechik, S. Easterbrook, V. Petrovykh, Model-checking over multivalued logics, In Proceedings of FME01, March 2001. [OpenAIRE]

[11] M. Chechik, A. Gurfinkel, B. Devereux, A. Lai, S. Easterbrook, Data structures for symbolic multi-valued model-checking, Formal Methods in System Design, 29, 295-344, 2006. [OpenAIRE]

[12] M. Droste, W. Kuich, H. Vogler(Eds.), Handbook of Weighted Automata, Series: Monographs in Theoretical Computer Science. An EATCS Series, Springer-Verlag, Birlin-Heidelberg, 2009.

[13] S. Eilenberg, Automata, Languages and Machines, vol. A, vol B, Academic Press, New York, 1974.

[14] M. Fitting, Many-valued modal logics, Fundamenta Informaticae, 15(3-4), 335-350, 1991.

[15] P. Godefroid, R. Jagadeesan, On the expressiveness of 3-valuedmodels. In Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI03), Lecture Notes in Computer Science, vol. 2575, Springer, pp. 206-222, 2003.

30 references, page 1 of 2
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue