SmartPulse: automated checking of temporal properties in smart contracts

J Stephens, K Ferles, B Mariano… - 2021 IEEE Symposium …, 2021 - ieeexplore.ieee.org
Smart contracts are programs that run on the blockchain and digitally enforce the execution
of contracts between parties. Because bugs in smart contracts can have serious monetary …
被引用次数：53 相关文章
[PDF] github.io

[PDF][PDF] SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig - kferles.github.io
Smart contracts are programs that run on the blockchain and digitally enforce the execution
of contracts between parties. Because bugs in smart contracts can have serious monetary …

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

J Stephens, K Ferles, B Mariano, S Lahiri… - 2021 IEEE Symposium …, 2021 - computer.org
Smart contracts are programs that run on the blockchain and digitally enforce the execution
of contracts between parties. Because bugs in smart contracts can have serious monetary …
[PDF] github.io

[PDF][PDF] SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig - bmarwritescode.github.io
Smart contracts are programs that run on the blockchain and digitally enforce the execution
of contracts between parties. Because bugs in smart contracts can have serious monetary …
[PDF] utexas.edu

[PDF][PDF] SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig - cs.utexas.edu
Smart contracts are programs that run on the blockchain and digitally enforce the execution
of contracts between parties. Because bugs in smart contracts can have serious monetary …
[PDF] github.io

[PDF][PDF] SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig - stephensj2.github.io
Smart contracts are programs that run on the blockchain and digitally enforce the execution
of contracts between parties. Because bugs in smart contracts can have serious monetary …
[PDF] utexas.edu

[PDF][PDF] SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig - cs.utexas.edu
Smart contracts are programs that run on the blockchain and digitally enforce the execution
of contracts between parties. Because bugs in smart contracts can have serious monetary …