Alain Mebsout

According to our database, Alain Mebsout authored at least 14 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Formally Documenting Tenderbake (Short Paper).

Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2017

Qualification of a Model Checker for Avionics Software Verification.

Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.

Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).

Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli

Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo.

Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Proof certificates for SMT-based model checkers for infinite-state systems.

Alain Mebsout, Cesare Tinelli

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

The Kind 2 Model Checker.

Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Certificates for Parameterized Model Checking.

Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi

Proceedings of the FM 2015: Formal Methods, 2015

2014

Inférence d'invariants pour le model checking de systèmes paramétrés. (Invariants inference for model checking of parameterized systems).

Alain Mebsout

PhD thesis, 2014

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières.

Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo.

Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Invariants for finite instances and beyond.

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper.

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.

François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012