A probabilistic runtime extension to typestates adds mutable state, mixed input/output sessions, and monitoring of expected action ratios to model concurrent and quantitative aspects of distributed protocols.
Strom and Shaula Yemini
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
dataset 1
method 1
citation-polarity summary
verdicts
UNVERDICTED 4representative citing papers
Chaintrix achieves 71.7% recall on 120 high-severity vulnerabilities in the EVMbench benchmark and outperforms the strongest frontier-model baseline by 26 percentage points through LLM pipelines grounded in a Cross-Contract Interaction Model and filtered by structural checks.
Anzen introduces three unequivocal assignment operators and a type-capability system for uniqueness and immutability, formalized via minimal calculus.
A formal coordination model with dynamic roles and data-driven transitions enables a toolchain for validating models, generating Solidity smart contracts, and synthesizing tests.
citing papers explorer
-
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
A probabilistic runtime extension to typestates adds mutable state, mixed input/output sessions, and monitoring of expected action ratios to model concurrent and quantitative aspects of distributed protocols.
-
CHAINTRIX: A multi-pipeline LLM-augmented framework for automated smart-contract security auditing
Chaintrix achieves 71.7% recall on 120 high-severity vulnerabilities in the EVMbench benchmark and outperforms the strongest frontier-model baseline by 26 percentage points through LLM pipelines grounded in a Cross-Contract Interaction Model and filtered by structural checks.
-
Explicit and Controllable Assignment Semantics
Anzen introduces three unequivocal assignment operators and a type-capability system for uniqueness and immutability, formalized via minimal calculus.
-
Automatic Code and Test Generation of Smart Contracts from Coordination Models
A formal coordination model with dynamic roles and data-driven transitions enables a toolchain for validating models, generating Solidity smart contracts, and synthesizing tests.