Sergio

Sergio Mover

Professor

Department of Computer Science, École Polytechnique

Cosynus team, LIX - Computer Science Laboratory

My work focuses on formal methods, in particular model checking using Satisfiability Modulo Theories (SMT) for different systems (hybrid systems and embedded software) and on program analysis.

News

  • Submission deadline for FMCAD 2025 is April 27! (abstract by April 20).
  • Submission deadline for ATVA 2025 is April 18! (abstract by April 11).

Publications

Show list

Professional Activities

Program Committee:

*AE: Artifact Evaluation Commmittee

Tools

HyCOMP

An SMT-based symbolic model checker for hybrid systems

nuXmv

A symbolic model checker for finite- and infinite-state systems.

NuSMV

An open source symbolic model checker for finite-state systems.

Verivita

A verification tool for event-driven application programming protocols.

BigGROUM

A tool for mining programming patterns conserved across source code repositories.

SABBATH

A Semi-algebraic ABstrAcTor for Hybrid systems.

Contacts

Email
sergio.mover@lix.polytechnique.fr
Web
sergiomover.eu
Top