|
255
|
A Useful Four-Valued Logic
– N Belnap
- 1977
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
15
|
Model Checking Partially Ordered State Spaces
– S. Hazelhurst, C. -j. H. Seger
- 1995
|
|
27
|
Analysis of inconsistency in graph-based viewpoints
– Mehrdad Sabetzadeh, Steve Easterbrook
- 2003
|
|
28
|
Model-Checking Over Multi-Valued Logics
– Marsha Chechik, Steve Easterbrook, Victor Petrovykh
- 2001
|
|
99
|
Using ViewPoints for Inconsistency Management
– Steve Easterbrook, Bashar Nuseibeh
- 1996
|
|
21
|
Many-Valued logics
– L Bolc, P Borowik
- 1992
|
|
23
|
Composite Model Checking: Verification with Type-Specific Symbolic Representations
– Tevfik Bultan, Richard Gerber, Christopher League
- 2000
|
|
19
|
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN
– Marsha Chechik, Benet Devereux, Arie Gurfinkel
- 2001
|
|
190
|
Many-Valued Modal Logics
– Melvin C. Fitting
- 1992
|
|
24
|
Implementing a Multi-Valued Symbolic Model Checker
– Marsha Chechik, Benet Devereux, Steve Easterbrook
- 2001
|
|
60
|
An Algebraic Approach to Non-Classical Logics
– H Rasiowa
- 1978
|
|
1085
|
Automatic verification of finite-state concurrent systems using temporal logic specifications
– E. M. Clarke, E. A. Emerson, A. P. Sistla
- 1986
|
|
11
|
Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
– Viorica Sofronie-stokkermans
- 1999
|
|
171
|
Inconsistency Handling in Multi-Perspective Specifications
– A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh
- 1994
|
|
909
|
Introduction to Lattices and Order
– B A Davey, H A Priestley
- 1990
|
|
226
|
Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering
– Eric S. K. Yu
- 1997
|
|
80
|
Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract)
– Glenn Bruns, Patrice Godefroid
- 1999
|
|
39
|
Merging Partial Behavioural Models
– Sebastian Uchitel
- 2004
|
