Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
An Empirical Study of LLM-Generated Specifications for VeriFast
Wen Fan, Minh Tran, Sanya Dod +5
Static verification tools can assure industrial scale software, but require significant human labor to write specifications. This is particularly true of static verifiers based on…
cs.SE2018
Neural Networks as Artificial Specifications
I. S. W. B. Prasetya, Minh An Tran
In theory, a neural network can be trained to act as an artificial specification for a program by showing it samples of the programs executions. In practice, the training turns out…