A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (2001)

Cached

Download Links

by Steve Easterbrook , Marsha Chechik
Citations:71 - 25 self

Documents Related by Co-Citation

292 A useful four-valued logic – N D Belnap - 1977
16 Model Checking Partially Ordered State Spaces – S. Hazelhurst, C. -j. H. Seger - 1995
2408 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
27 Analysis of inconsistency in graph-based viewpoints – Mehrdad Sabetzadeh, Steve Easterbrook - 2003
216 Many-Valued Modal Logics – Melvin C. Fitting - 1992
188 Inconsistency Handling in Multi-Perspective Specifications – A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh - 1994
102 Using ViewPoints for Inconsistency Management – Steve Easterbrook, Bashar Nuseibeh - 1996
22 Many-valued Logics – L Bolc, P Borowik - 1992
24 Composite Model Checking: Verification with Type-Specific Symbolic Representations – Tevfik Bultan, Richard Gerber, Christopher League - 2000
22 Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN – Marsha Chechik, Benet Devereux, Arie Gurfinkel - 2001
31 Model-Checking Over Multi-Valued Logics – Marsha Chechik, Steve Easterbrook, Victor Petrovykh - 2001
25 Implementing a Multi-Valued Symbolic Model Checker – Marsha Chechik, Benet Devereux, Steve Easterbrook - 2001
1179 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
1065 Introduction to Lattices and Order – B A Davey, H A Priestley - 2002
271 Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering – Eric S. K. Yu - 1997
44 Flexible Consistency Checking – Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer - 2001
95 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – Glenn Bruns, Patrice Godefroid - 1999
46 Merging Partial Behavioural Models – Sebastian Uchitel - 2004
74 Generalized Model Checking: Reasoning about Partial State Spaces – Glenn Bruns, Patrice Godefroid - 2000