Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Formal Process Virtual Machine for Smart Contracts Verification
Defining the Ethereum Virtual Machine for Interactive Theorem Provers
Fair Protocols for Verifiable Computations Using Bitcoin and Ethereum
Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain
Trust in Smart Contracts is a Process, As Well
Formal Verification of Financial Algorithms
Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications
Safer smart contracts through type-driven development
A Survey of Automated Techniques for Formal Software Verification
smarter implementation of blockchain for smart contracts .
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts
Blockchain contract: Securing a blockchain applied to smart contracts
SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts
Formal verification of a realistic compiler
An Overview of Smart Contract: Architecture, Applications, and Future Trends
Hunting the Ethereum Smart Contract: Color-inspired Inspection of Potential Attacks
Don't sweat the small stuff: formal verification of C code without the pain
Mop: an efficient and generic runtime verification framework
Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules
A Perspective on Blockchain Smart Contracts: Reducing Uncertainty and Complexity in Value Exchange
Smart contracts vulnerabilities: a call for blockchain software engineering?
ZigBee-based data transmission and monitoring wireless smart sensor network integrated with the Internet
A Computing Procedure for Quantification Theory
Unsupervised cyber bullying detection in social networks
New RobotforPower Line Inspection
A posture and load sampling approach to determining low-back pain risk in occupational settings