A Deductive Approach towards Reasoning about Algebraic Transition Systems
Joint Authors
Tan, Hongyan
Fu, Jun
Wu, Jinzhao
Source
Mathematical Problems in Engineering
Issue
Vol. 2015, Issue 2015 (31 Dec. 2015), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2015-10-25
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1074260