Data structures for symbolic multi-valued model-checking

Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlier work we identified a useful family of multi-valued logics: those specified over finite distributive lattices where negation preserves involution, i.e., D

• Type: Journal
• Year: 2006
• Where: FMSD
• Authors: Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
• Keywords: FMSD 2006, Multi-valued, Multi-valued Logics, Multi-valued Sets