Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions

By Currie David   Feng Xiushan   Fujita Masahiro   Hu Alan   Kwan Mark   Rajan Sreeranga  

International Journal of Parallel Programming, Vol. 34, Iss. 1, 2006-03 ,pp. : 61-91

Springer Publishing Company

Access to resources Recommend Favorite

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case

By Zarba Calogero   Cantone Domenico   Schwartz Jacob  

Journal of Automated Reasoning, Vol. 33, Iss. 3-4, 2004-10 ,pp. : 251-269

Springer Publishing Company

Access to resources Recommend Favorite

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

By Bresolin Davide   Montanari Angelo   Sciavicco Guido  

Journal of Automated Reasoning, Vol. 38, Iss. 1-3, 2007-04 ,pp. : 173-199

Springer Publishing Company

Access to resources Recommend Favorite

Fuzzy logic in the formulation of decision functions from linguistic specifications

By Yager Ronald R  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 25, Iss. 4, 1996-04 ,pp. : 119-130

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities

By Cerrito Serenella  

Journal of Automated Reasoning, Vol. 51, Iss. 2, 2013-08 ,pp. : 197-239

Springer Publishing Company

Access to resources Recommend Favorite