A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems and Interval Transition Systems
暂无分享,去创建一个
[1] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[2] Michael Huth. A powerdomain of possibility measures , 1997, MFPS.
[3] Michael Huth. Zero dimensional and connected domains , 1995 .
[4] Michael Huth,et al. Quantitative analysis and model checking , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[5] Christel Baier,et al. Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation , 1996, CAV.
[6] Joseph Sifakis. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings , 1990 .
[7] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[8] Michael Huth,et al. Finite But Unbounded Delay In Synchronous CCS , 1996 .
[9] Michael Huth,et al. Model-Checking View-Based Partial Specifications , 2001, MFPS.
[10] Michael Huth,et al. On the Approximation of Denotational Mu-Semantics , 1999, Appl. Categorical Struct..
[11] Michael Huth,et al. Quantitative semantics, topology, and possibility measures , 1998 .
[12] Michael Huth. Secure communicating systems - design, analysis, and implementation , 2001 .
[13] Kim Guldstrand Larsen,et al. Specification and refinement of probabilistic processes , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[14] Michael Huth,et al. Domains of View: A Foundation for Specification and Analysis , 2001 .
[15] Michael Huth,et al. Linear Domains and Linear Maps , 1993, MFPS.
[16] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[17] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[18] Annabelle McIver,et al. Probabilistic predicate transformers , 1996, TOPL.
[19] Orna Grumberg,et al. Abstract interpretation of reactive systems , 1997, TOPL.
[20] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[21] Rance Cleaveland,et al. Probabilistic Temporal Logics via the Modal Mu-Calculus , 1999, FoSSaCS.
[22] Michael Huth,et al. Comparing CTL and PCTL on labeled Markov chains , 1998, PROCOMET.
[23] Radha Jagadeesan,et al. Abstraction-Based Model Checking Using Modal Transition Systems , 2001, CONCUR.
[24] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .
[25] Rocco De Nicola,et al. Three logics for branching bisimulation , 1995, JACM.
[26] Michael Huth. Cartesian Closed Categories of Domains and the Space Proj(D) , 1991, MFPS.
[27] Christel Baier,et al. Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems , 1998, PROBMIV.
[28] Klaus Keimel,et al. Linear types, approximation, and topology , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
[29] Michael Huth. On the Equivalence of State-Transition Systems , 1993, Theory and Formal Methods.
[30] Michael Huth,et al. Logic in computer science: tool-based modeling and reasoning about systems , 1999, 30th Annual Frontiers in Education Conference. Building on A Century of Progress in Engineering Education. Conference Proceedings (IEEE Cat. No.00CH37135).
[31] Erwin Engeler,et al. Logic of Programs , 1981, Lecture Notes in Computer Science.
[32] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[33] Michael Huth. A Maximal Monoidal Closed Category of Distributive Algebraic Domains , 1995, Inf. Comput..
[34] Michael Huth. Interaction Orders as Games , 1994, Theory and Formal Methods.
[35] Joseph Sifakis,et al. Automatic Verification Methods for Finite State Systems , 1989, Lecture Notes in Computer Science.
[36] Michael Huth,et al. Algebraic Domains of Natural Transformations , 1994, Theor. Comput. Sci..
[37] Michael Huth,et al. Assume-Guarantee Model Checking of Software: A Comparative Case Study , 1999, SPIN.
[38] Vladik Kreinovich,et al. A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients , 2001, Reliab. Comput..
[39] Kim G. Larsen,et al. A modal process logic , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[40] Paul Pettersson,et al. Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II , 1998, TACAS.
[41] Radha Jagadeesan,et al. Modal Transition Systems: A Foundation for Three-Valued Program Analysis , 2001, ESOP.
[42] Michael Huth. The Interval Domain: A Matchmaker for aCTL and aPCTL , 1998, Electron. Notes Theor. Comput. Sci..
[43] Kim G. Larsen,et al. Modal Specifications , 1989, Automatic Verification Methods for Finite State Systems.
[44] Klaus Keimel,et al. Linear types and approximation , 2000, Math. Struct. Comput. Sci..