![](/images/graphics-bg.png)
A Deductive Approach towards Reasoning about Algebraic Transition Systems
المؤلفون المشاركون
Tan, Hongyan
Fu, Jun
Wu, Jinzhao
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-10-25
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص EN
Algebraic transition systems are extended from labeled transition systems by allowing transitions labeled by algebraic equations for modeling more complex systems in detail.
We present a deductive approach for specifying and verifying algebraic transition systems.
We modify the standard dynamic logic by introducing algebraic equations into modalities.
Algebraic transition systems are embedded in modalities of logic formulas which specify properties of algebraic transition systems.
The semantics of modalities and formulas is defined with solutions of algebraic equations.
A proof system for this logic is constructed to verify properties of algebraic transition systems.
The proof system combines with inference rules decision procedures on the theory of polynomial ideals to reduce a proof-search problem to an algebraic computation problem.
The proof system proves to be sound but inherently incomplete.
Finally, a typical example illustrates that reasoning about algebraic transition systems with our approach is feasible.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Fu, Jun& Wu, Jinzhao& Tan, Hongyan. 2015. A Deductive Approach towards Reasoning about Algebraic Transition Systems. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-12.
https://search.emarefa.net/detail/BIM-1074260
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Fu, Jun…[et al.]. A Deductive Approach towards Reasoning about Algebraic Transition Systems. Mathematical Problems in Engineering No. 2015 (2015), pp.1-12.
https://search.emarefa.net/detail/BIM-1074260
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Fu, Jun& Wu, Jinzhao& Tan, Hongyan. A Deductive Approach towards Reasoning about Algebraic Transition Systems. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-12.
https://search.emarefa.net/detail/BIM-1074260
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1074260
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)