This is TikiWiki v1.9.8.3 -Sirius- © 2002–2007 by the Tiki community Thu 28 of Mar, 2024 [23:51 UTC]
Menu

Category F.3.1 Specifying and Verifying and Reasoning about Programs

Assertions Invariants Logics of programs Mechanical verification Pre- and post-conditions Specification techniques
Browse in:
All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles

search category: deep:

Hide subcategories objects

..
 

Objects (5)

F.3.1 Specifying and Verifying and Reasoning about Programs Article Program Invariants Generation over Polynomial Ring using Iterative Methods. 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  
F.3.1 Specifying and Verifying and Reasoning about Programs Article PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ... Abstract: The correctness proof for programs with parallelism, and interleaving concurrency with shared memory in particular, is complicated problem because the state of separate execution thread ca 
F.3.1 Specifying and Verifying and Reasoning about Programs Article МНОГОСОРТНАЯ МОНОТОННАЯ ЛОГИКА ФЛОЙДА-ХОАР Аннотация: Рассматривается проблема построения монотонной логики Флойда-Хоара, которая является расширени� 
F.3.1 Specifying and Verifying and Reasoning about Programs Article МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕ� Аннотация: Исследованы программно-ориентированные логические формализмы – транзиционные композиционно-но 
F.3.1 Specifying and Verifying and Reasoning about Programs Article СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС Аннотация: Исследованы чистые первопорядковые композиционно-номинативные логики частичных однозначных пр� 

Page: 1/1
1  
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.24 secs ]   [ Memory usage: 9.08MB ]   [ GZIP Disabled ]   [ Server load: 0.24 ]