conftrace_

security verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (1) smart contract generation (1) finite state machine (1) smart contract (1) software engineering (1) code generation (1) iterative optimization (1)

Papers

Guiding LLM-based Smart Contract Generation with Finite State Machine IJCAI 2025