Menu
Home
Contact us
Stats
Categories
Calendar
Toggle Wiki
Wiki Home
Last Changes
Rankings
List pages
Orphan pages
Sandbox
Print
Toggle Image Galleries
Galleries
Rankings
Toggle Articles
Articles home
List articles
Rankings
Toggle Blogs
List blogs
Rankings
Toggle Forums
List forums
Rankings
Toggle File Galleries
List galleries
Rankings
Toggle Maps
Mapfiles
Toggle Surveys
List surveys
Stats
ITHEA Classification Structure > B. Hardware  > B.6 LOGIC DESIGN  > B.6.3 Design Aids 
ITHEA Classification Structure > D. Software  > D.2 SOFTWARE ENGINEERING  > D.2.4 Software/Program Verification
ITHEA Classification Structure > D. Software  > D.4 OPERATING SYSTEMS  > D.4.5 Reliability 
ITHEA Classification Structure > F. Theory of Computation  > F.3 LOGICS AND MEANINGS OF PROGRAMS  > F.3.1 Specifying and Verifying and Reasoning about Programs 
ITHEA Classification Structure > I. Computing Methodologies  > I.2 ARTIFICIAL INTELLIGENCE  > I.2.2 Automatic Programming 
Program Invariants Generation over Polynomial Ring using Iterative Methods.
By: Sergii Kryvyi, Oleksandr Maksymets (3638 reads)
Rating: (1.00/10)

Abstract: A solution for program polynomial invariant generation problem is presented. An iteration upper approximation method that was successfully applied on free algebras in this paper was adopted for polynomial ring. Set of invariants is interpreted as an ideal over polynomial ring. Relationship and intersection problems solution are proposed. Intersection of Gröbner basis is applied to solve intersection problem. Inverse obligatory is applied to solve relationship problem.

Keywords: verification theory, invariant generation, polynomial ring.

ACM Classification Keywords: D.2.4 Software/Program Verification: Assertion checkers; F.3.1 Specifying and Verifying and Reasoning about Programs: Invariants; I.2.2 Automatic Programming: Program verification; B.6.3 Design Aids : Verification; D.4.5 Reliability: Verification.

Link:

Program Invariants Generation over Polynomial Ring using Iterative Methods.

Sergii Kryvyi, Oleksandr Maksymets

http://www.foibg.com/ijita/vol20/ijita20-02-p02.pdf

Print
B.6.3 Design Aids
article: SCALAR CHOICE CRITERIA'S USAGE FOR DETERMINATION OF THE OPTIMUM SWITCHING ... · SOME ASPECTS OF CHOICE OF SWITCHING SCHEME FOR CONSTRUCTION OF OPTICAL ... · Program Invariants Generation over Polynomial Ring using Iterative Methods. · OPTIMIZING PROGRAMMABLE LOGIC ARRAYS USING THE SIMULATED ANNEALING ALGORITHM · SIMPLE CONSTRAINED FOLDING OF PROGRAMMABLE LOGIC ARRAYS OF SPECIAL TYPE · MULTIPLE FOLDING OF VLSI REGULAR STRUCTURE VIA BOOLEAN SATISFIABILITY ·
D.2.4 Software/Program Verification
article: PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ... · ПРЯМАЯ ЗАДАЧА СИНТЕЗА АДАПТИВНЫХ ЛОГИЧЕСКИХ СЕТЕЙ · Program Invariants Generation over Polynomial Ring using Iterative Methods. · SYSTEM OF PROGRAMS PROVING · МНОГООСНОВНЫЕ АЛГЕБРЫ, АБСТРАКТНЫЕ ТИПЫ ДА� · EXTENDED ALGORITHM FOR TRANSLATION OF MSC-DIAGRAMS INTO PETRI NETS · EXTENDED ALGORITHM FOR TRANSLATION OF MSC-DIAGRAMS INTO PETRI NETS ·
D.4.5 Reliability
article: Program Invariants Generation over Polynomial Ring using Iterative Methods. ·
F.3.1 Specifying and Verifying and Reasoning about Programs
article: PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ... · СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС · МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕ� · МНОГОСОРТНАЯ МОНОТОННАЯ ЛОГИКА ФЛОЙДА-ХОАР · Program Invariants Generation over Polynomial Ring using Iterative Methods. ·
I.2.2 Automatic Programming
article: Program Invariants Generation over Polynomial Ring using Iterative Methods. · ПЕРСПЕКТИВНЫЕ НАПРАВЛЕНИЯ РАЗВИТИЯ ... · METHODS FOR AUTOMATED DESIGN AND MAINTENANCE OF USER INTERFACES · A METHOD OF ESTIMATING USABILITY OF A USER INTERFACE BASED ON ITS MODEL · DIALOG BASED ON GRAPHICAL STATIC SCENES MANAGED BY AN ONTOLOGY · A METHOD OF CONTEXT-SENSITIVE HELP GENERATION USING A TASK PROJECT1 ·
Login
[ register | I forgot my password ]
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.11 secs ]   [ Memory usage: 7.53MB ]   [ GZIP Disabled ]   [ Server load: 0.37 ]
Powered by Tikiwiki CMS/Groupware