Verimag

Home > Verimag > Seminars

Seminar details

salle A. Turing CE4
2 December 2013 - 14h00
A higher order to first order translation
by Thibault Gauthier from n/a

Abstract: An implementation of an interaction between a proof assistant HOL4 and an automated prover
Beagle.

New publications

Recent Publications
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Alexey Bakhirkin, Thomas Ferrére, Oded Maler: Efficient Parametric Identification for STL
- Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga: Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
- Karine Altisen, Olivier Alphand, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, Franck Rousseau: Collision Prevention in Distributed 6TiSCH Networks
- Dogan Ulus, Oded Maler: Specifying Timed Patterns using Temporal Logic
- Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1076319

CNRS

INP Grenoble