Sergio Mover

Assistant 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

  • VSTTE 2022: The abstract submission deadline for VSTTE is : July 15, 2022 July 22, 2022

Publications

Show list

Professional Activities

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.

Top