#formal verification

[rwatimes]

Xrp Jumps As Xrpl Strengthens Security With Common Prefix Deal

XRP jumped more than 2% after the XRP Ledger Foundation teamed up with Common Prefix to strengthen security across the XRPL ecosystem, including formal verification and consensus reviews.

➤ The XRP Ledger (XRPL) Foundation has partnered with Common Prefix to enhance the security of the XRPL ecosystem through formal verification and consensus reviews. ➤ This collaboration aims to strengthen the network's payment engine, identify and fix vulnerabilities before they impact users, and support future financial applications like lending protocols. ➤ The announcement led to a more than 2% jump in XRP's price, with increased trading activity across spot and derivatives markets.

[softwarily]

A gentle introduction to automated reasoning

Meet Amazon Science’s newest research area.

[thecryptoreport]

PwC Switzerland Incorporates ChainSecurity Team to Expand Blockchain Audit Tools

PwC Switzerland Incorporates ChainSecurity Team to Expand Blockchain Audit Tools

PricewaterhouseCoopers (PwC) Switzerland has “hired” smart contract audit firm ChainSecurity’s team, folding the company and its expertise into the Big Four accounting firm, the companies announced earlier this week.

In what seems like an acquisition in all but name, the seven technical engineers are joining the accounting firm and to bolster PwC Switzerland’s smart contract audit abilities.

View On WordPress

[simpler7045]

상태 분석을 활용한 복잡한 임베디드 시스템에 대한 요구사항 생성하기

상태 분석을 활용한 복잡한 임베디드 시스템에 대한 요구사항 생성하기

Motivation 시스템 엔지니어가 작성한 소프트웨어 요구사항과 소프트웨어 엔지니어가 작성한 코드상의 차이가 크다. 소프트웨어 엔지니어는 요구사항을 코드로 번역하여 시스템 엔지니어가 의도한 시스템의 행동에 부합하다는 기대를 해야만 한다. 해결 방법: State analysis방법을 사용하여 명시적으로 표현한다. Introduction State analysis방법론은 다음의 3가지 기본적 원칙을 주장(assert)한다. control은 system operation의 모든 측면을 포함한다. system under control의 모델을 통해 이해될 수 있음 system under control의 모델은 명시적으로 식별되고 시스템 엔지니어들 사이의 합의된 것들을 보장하는 방식이어야 함 소프트웨어 설계 및…

View On WordPress

[roomthily]

Given that formal verification is expensive and does not produce components that can be composed into provably correct systems without additional work, one may despair and claim that the problem seems hopeless, distributed systems are awful, and we can't have nice things.

Caitie McCaffrey (The Verification of a Distributed System)

let me tell you how i’m not a computer science person. or a distributed systems person. or an operations person. 

would like nice things, though.

[boyasun]

An illustration I made last week for Quanta Magazine about making computer systems in drones that can't be hacked. I had a lot of fun making it and tried something a little different. Check out the full article here! Thanks to AD Olena Shmahalo.

[holden-lee]

Talk: Proving Mathematical Theorems Using Computers

Talk: Proving Mathematical Theorems Using Computers

The slides from the talk are available at https://dl.dropboxusercontent.com/u/27883775/math%20notes/IFV.pdf (source). I will post a more complete report when I finish my project, in about 2-3 weeks, so do check back.

View On WordPress

[fernand0]

"Agile development is concerned with the rapid development of a software. In agile development the customer involvement plays an important role. The software is updated and upgraded according to the customer requirements. Formal verification is concerned with mathematical approaches to verify the software. How can we integrate these formal approaches (there are many types of formal techniques) into the agile development process. " Interesting question. Y prueba.