A Method for Code Safety Proof Construction

A FLEXIBLE METHOD OF BUILDING CONSTRUCTION SAFETY RISK ASSESSMENT AND INVESTIGATING FINANCIAL ASPECTS OF SAFETY PROGRAM

Construction industry has the highest ratio of fatality of workers in comparison with other industries. Construction safety has been always a matter of focus to control safety risks. This article presents a new flexible method of safety risk assessment by adding Hybrid Value Number (HVN) to the assessment equation. As a result of using this method, the results of assessment process will be more...

Extensions of the method of poles for code construction

The method of poles is a method introduced by P. A. Franaszek for constructing a rate 1 : 1 nite state code from k-ary data into a constrained channel S, where S is recognized by a given local automaton and S has a capacity greater than log(k). The method is based on the computation of a set of states that we call poles. To each pole is associated a set of paths going from this pole to others. ...

A Scalable Architecture for Proof-Carrying Code

A Proof-Carrying Code Architecture for Java

Infrastructure for Proof-Referencing Code

We discuss ideas for using the Higher-Order Logic (HOL) theorem-proving system as an infrastructure for programs that reference or carry proofs of their correctness. Such programs, which we call Proof-Referencing Code (PRC), could be useful or even essential for applications where security of mobile code is important, but where authentication is impractical and runtime checking is expensive. We...