This is TikiWiki v1.9.8.3 -Sirius- © 2002–2007 by the Tiki community Fri 22 of Nov, 2024 [14:09 UTC]
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

Category D.2.4 Software/Program Verification

Assertion checkers Class invariants Correctness proofs Formal methods Model checking Programming by contract Reliability Statistical methods Validation
Browse in:
All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles

search category: deep:

Hide subcategories objects

Current category: Top  ::  ITHEA Classification Structure  ::  D. Software  ::  D.2 SOFTWARE ENGINEERING  ::  D.2.4 Software/Program Verification
..
 

Objects (7)

D.2.4 Software/Program VerificationArticle EXTENDED ALGORITHM FOR TRANSLATION OF MSC-DIAGRAMS INTO PETRI NETS Abstract: The article presents an algorithm for translation the system, described by MSC document into Petri Net modulo strong bisimulation. Obtained net can be later used for determining various sys 
D.2.4 Software/Program VerificationArticle EXTENDED ALGORITHM FOR TRANSLATION OF MSC-DIAGRAMS INTO PETRI NETS Abstract: The article presents an algorithm for translation the system, described by MSC document into ordinary Petri Net modulo strong bisimulation. Only the statical properties of MSC document are e 
D.2.4 Software/Program VerificationArticle 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  
D.2.4 Software/Program VerificationArticle 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 
D.2.4 Software/Program VerificationArticle SYSTEM OF PROGRAMS PROVING 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 pr 
D.2.4 Software/Program VerificationArticle МНОГООСНОВНЫЕ АЛГЕБРЫ, АБСТРАКТНЫЕ ТИПЫ ДА� Аннотация: Описывается абстрактный тип данных ``натуральное число'' как многоосновная алгебраическая систем� 
D.2.4 Software/Program VerificationArticle ПРЯМАЯ ЗАДАЧА СИНТЕЗА АДАПТИВНЫХ ЛОГИЧЕСКИХ СЕТЕЙ Аннотация: Рассматривается прямая задача адаптации логической сети на основе универсальных логических эле 

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.21 secs ]   [ Memory usage: 9.09MB ]   [ GZIP Disabled ]   [ Server load: 1.02 ]