Alain Mebsout

14 papers A* 1A 1B 3Misc 1Unranked 7
YearRankTypeTitle / Venue / Authors
2021 — conf
Formally Documenting Tenderbake (Short Paper).
FMBC@CAV
Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout
2017 — conf
Qualification of a Model Checker for Avionics Software Verification.
NFM
Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind
2017 — conf
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.
CAV (2)
Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett
2016 — conf
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo.
UITP
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
2016 — conf
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).
HaTT@IJCAR
Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli
2016 B conf
Proof certificates for SMT-based model checkers for infinite-state systems.
FMCAD
Alain Mebsout, Cesare Tinelli
2016 — conf
The Kind 2 Model Checker.
CAV (2)
Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli
2015 B conf
Certificates for Parameterized Model Checking.
FM
Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi
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
2014 — conf
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières.
JFLA
Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout
2013 Misc conf
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo.
SYNASC
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
2013 B conf
Invariants for finite instances and beyond.
FMCAD
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
2012 A conf
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.
IJCAR
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
2012 A* conf
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper.
CAV
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi