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

  • TACAS 2023: Submit your tool papers and tool demonstration papers
    The deadline is approaching: October 13, 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