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.

Publications

Show list

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.

Top