Home › Categories › Technology› Modular And Lightweight Certification Of Polyhedral Abstract Domains.

Modular And Lightweight Certification Of Polyhedral Abstract Domains..pdf

abstract-30.pdf
Preview of Modular and lightweight certification of polyhedral abstract domains.
🔗 Source: pps.univ-paris-diderot.fr
📊 Size: 193 KB
📄 Pages: 2 pages
⬇️ Downloads: 85

Summary

The authors propose a modular and lightweight certification of polyhedral abstract domains for static analysis of programs. They develop a certified abstract domain of polyhedra with two components: an untrusted Ocaml backend producing certificates and a Coq frontend building proved-correct results using these certificates. The frontend is modular and generic, allowing flexibility in the backend's implementation, and ensures soundness without formal precision guarantees. Experiments show that the overhead of result verification is low, making the abstract domain competitive with non-verifying implementations.

Download File

Description

The authors propose a modular and lightweight certification of polyhedral abstract domains for static analysis of programs.

Technical Information

  • File Format: PDF
  • File Size: 193 KB
  • Pages: 2
  • Language: EN
  • Total Downloads: 85
  • Last Updated: 2 hours ago

Document Overview

This PDF document about Modular and lightweight certification of polyhedral abstract domains. provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into Modular and lightweight certification of polyhedral abstract domains..

Related Topics

If you're interested in Modular and lightweight certification of polyhedral abstract domains., you might also want to explore:

Modular guideModular tutoriallightweight guidelightweight tutorialcertification guidecertification tutorialpolyhedral guidepolyhedral tutorialabstract guideabstract tutorialdomains. guidedomains. tutorial

Related Categories

Business & Finance
41204 documents
Education & Learning
22711 documents
Health & Wellness
8956 documents

Related Documents

Preview of HARTING Han-Modular® Domino Modul: Modulare Steckverbinder für Industrieanwendungen
PDF file

HARTING Han-Modular® Domino Modul: Modulare Steckverbinder für Industrieanwendungen

1.13 MBDE2 pages
Das HARTING Han-Modular® Domino System ist die neueste Generation modularer Steckverbinder, die Platz spart, flexibel und zeitsparend ist. Die Module...
Download
Preview of Télécharger le fichier
PDF file

Télécharger le fichier

530 KBDaniele Di Pietro, Marien-Lorenzo HanotEN25 pages
Daniele Di Pietro and Marien-Lorenzo Hanot prove Poincaré inequalities for the Discrete de Rham sequence on a general connected polyhedral domain Ω...
Download
Preview of A modular module system [PDF]
PDF file

A modular module system [PDF]

272 KBEN35 pages
A modular module system is presented as a module parameterized by a base language and its type-checker, providing a simple implementation of an...
Download
Preview of Police Academy Catalog
PDF file

Police Academy Catalog

71 KBElizabeth RamirezEN1 page
The Police Officer Training Certificate of Achievement program prepares students to become entry-level police officers in California, covering 42...
Download
Preview of Gru Bendini B40 FT
PDF file

Gru Bendini B40 FT

6.31 MBPT2 pages
Gru a torre modulare, também conhecida como Modular tower crane, Grúa a montaje modular ou Grue a tour modulair, modelo B40 FT.
Download

Download Modular and lightweight certification of polyhedral abstract domains. eBooks for free and learn more about Modular and lightweight certification of polyhedral abstract domains.. These books contain exercises and tutorials to improve your practical skills, at all levels!

Not satisfied with this document? We have related documents to Modular and lightweight certification of polyhedral abstract domains., try searching with similar keywords: Modular and lightweight certification of polyhedral abstract domains., Modular Contactors And Switches Modular Contactors 2 Aux, Western Modular Homes Edmonton Modular Homes, Edge Based Intersected Polyhedral Paper Sculptures, Grosser 2012 Polyhedral Extraction Tool IMPACT , Polyhedral Dice, polyhedral metrics in surface reconstruction, PolySA: Polyhedral-Based Systolic Array Auto-Compilation

You can download PDF versions of the user's guide, manuals and ebooks about Modular and lightweight certification of polyhedral abstract domains., you can also find and download for free A free online manual (notices) with beginner and intermediate, Downloads Documentation, You can download PDF files (or DOC and PPT) about Modular and lightweight certification of polyhedral abstract domains. for free, but please respect copyrighted ebooks.