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 > D. Software  > D.2 SOFTWARE ENGINEERING  > D.2.4 Software/Program Verification
SYSTEM OF PROGRAMS PROVING
By: Alexander Letichevsky et al. (2874 reads)
Rating: (1.00/10)

Abstract: The paper is devoted to the methods of programs proving in the Insertion Modeling System IMS. Architecture and functional possibilities of IMS, the main notions of insertion modeling were presented in this work. Floyd’s insertion machine and the methods of the satisfiability checking, and the usage of those methods for programs proving were described in the paper.

Keywords: multi-agent systems, insertion modeling, program proving.

ACM Classification Keywords: D.2 SOFTWARE ENGINEERING D.2.4 Software/Program Verification.

Link:

SYSTEM OF PROGRAMS PROVING

Alexander Letichevsky, Olexander Letichevskiy, Marina Morokhovets, Vladimir Peschanenko

http://foibg.com/ibs_isc/ibs-28/ibs-28-p15.pdf

Print
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 ·
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.08 secs ]   [ Memory usage: 7.51MB ]   [ GZIP Disabled ]   [ Server load: 0.10 ]
Powered by Tikiwiki CMS/Groupware