Credible Autocoding of Convex Optimization Algorithms
type: Dataset
description: International audience
issued: 2026-05-05T23:57:07.099180
language: en
modified: 2026-05-05T23:57:07.099185
contact point: Organization
  fn: CCSD
keyword: autocoding
keyword: control-theory
keyword: formal-verification
keyword: frama-c
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: infoinfo-sycomputer-science-cssystems-and-control-cssy
keyword: interior-point-method
keyword: journal-articles
keyword: lyapunov-proofs
keyword: mathmath-ocmathematics-mathoptimization-and-control-mathoc
keyword: optimization
keyword: pvs
landing page: 1389-4420

Credible Autocoding of Convex Optimization Algorithms
type: Distribution
format: HTML
issued: 2026-05-05T23:57:07.107620
modified: 2026-05-05T23:57:07.084538
access URL: https://hal.science/hal-00961133

test_moissonnage_selune
type: Agent