Model-checking over multi-valued logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2021 LNCS, Issue , 2001, Pages 72-98

  Chechik, Marsha ^a   Easterbrook, Steve ^a   Petrovykh, Victor ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; MANY VALUED LOGICS; SEMANTICS; TEMPORAL LOGIC; SOFTWARE ENGINEERING;

CLASSICAL LOGIC; CTL MODEL; MULTI-VALUED; MULTIPLE SOURCE; RUNNING TIME;

MODEL CHECKING;

EID: 84881157266     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45251-6_5     Document Type: Conference Paper

References (27)

1. A.R. Anderson and N.D. Belnap. Entailment. Vol. 1. Princeton University Press, 1975.
2. R.-J. Back and J. von Wright. Refinement Calculus: A Systematic Approach. Springer-Verlag, 1998.
3. N.D. Belnap. "A Useful Four-Valued Logic". In Dunn and Epstein, editors, Modern Uses of Multiple-Valued Logic, pages 30-56. Reidel, 1977.
4. L. Bolc and P. Borowik. Many-Valued Logics. Springer-Verlag, 1992.
5. R. E. Bryant. "Symbolic Boolean manipulation with ordered binary-decision diagrams". Computing Surveys, 24(3):293-318, September 1992.
6. T. Bultan, R. Gerber, and C. League. "Composite Model Checking: Verification with Type-Specific Symbolic Representations". ACM Transactions on Software Engineering and Methodology, 9(1):3-50, January 2000.
7. T. Bultan, R. Gerber, and W. Pugh. "Symbolic Model Checking of Infinite State Programs Using Presburger Arithmetic". In Proceedings of International Conference on Computer-Aided Verification, Haifa, Israel, 1997.
8. M. Chechik. "On Interpreting Results of Model-Checking withAbstraction". CSRG Technical Report 417, University of Toronto, Department of Computer Science, September 2000.
9. M. Chechik, B. Devereux, and S. Easterbrook. "Implementing a Multi-Valued Symbolic Model-Checker". In Proceedings of TACAS'01, April 2001.
10. E.M. Clarke, E.A. Emerson, and A.P. Sistla. "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications". ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
11. E.W. Dijkstra and C.S. Scholten. Predicate Calculus and Program Semantics. Springer, 1990.
12. D.L. Dill. "The MurφVerification System". In R.Alur andT.A. Henzinger, editors, Computer-Aided Verification Computer, volume 1102 of Lecture Notes in Computer Science, pages 390-393, NewYork, N.Y., 1996. Springer-Verlag.
13. J.M. Dunn. "A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation". In Dov Gabbay and Heinrich Wansing, editors, What is Negation. Kluwer Academic Publishers, 1999.
14. S. Easterbrook and M. Chechik. "AFramework for Multi-Valued Reasoning over Inconsistent Viewpoints". In Proceedings of International Conference on Software Engineering (ICSE'01), May 2001.
15. C. Ghezzi and B. A. Nuseibeh. "Introduction to the Special Issue on Managing Inconsistency in Software Development". IEEE Transactions on Software Engineering, 24(11):906-1001, November 1998.
16. S. Hazelhurst. Compositional Model Checking of Partially Ordered State Spaces. PhD thesis, Department of Computer Science, University of British Columbia, 1996.
17. S. Hazelhurst. "Generating and Model Checking a Hierarchy of Abstract Models". Technical Report TR-Wits-CS-1999-0, Department of Computer Science University of the Witwatersrand, Johannesburg, South Africa, March 1999.
18. E.C.R. Hehner. A Practical Theory of Programming. Texts and Monographs in Computer Science. Springer-Verlag, NewYork, 1993.
19. G.J. Holzmann. "The Model Checker SPIN". IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
20. A. Hunter. "Paraconsistent Logics". In D. Gabbay and Ph. Smets, editors, Handbook of Defeasible Reasoning and Uncertain Information, volume 2. Kluwer, 1998.
21. A. Hunter and B. Nuseibeh. "Managing Inconsistent Specifications: Reasoning, Analysis and Action". ACM Transactions on Software Engineering and Methodology, 7(4):335-367, October 1998.
22. M. Huth and M. Ryan. Logic in Computer Science: Modeling and Reasoning About Systems. Cambridge University Press, 2000.
23. S. C. Kleene. Introduction to Metamathematics. NewYork: Van Nostrand, 1952.
24. K.L. McMillan. Symbolic Model Checking. Kluwer Academic, 1993.
25. T.J. Menzies, S. Easterbrook, B. Nuseibeh, and S. Waugh. "An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering". In Proceedings of the Fourth International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 7-11 1999. IEEE Computer Society Press.
26. G. Priest and K.Tanaka. "Paraconsistent Logic". In The Stanford Encyclopedia of Philosophy. Stanford University, 1996.
27. H. Rasiowa. An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1978.