Projets

Nouvelles publications

• Quelques Publications Récentes (Preuves Formelles)
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes: Exact Worst Case Self-Stabilization Time
  • Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret
  • Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
  • Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon: Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation
  • Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors

Offres d'emploi et stages

• Offres d'emploi et stages (Preuves Formelles)
  • Convex polyhedra in floating point

Rubriques

• Verimag
• Axes
  • Ressources partagées
  • ETiCS
  • Formal Proofs
    • Membres
    • Partenaires
    • Outils
    • Emplois et stages
    • Publications
    • Projets
  • PACS
  • MOHYTOS
  • FETLAS
• Contact
• Plan du site

---

• Acces au Batiment