1

Synthesizing Modular Invariants for Synchronous Code

Testing-Based Compiler Validation for Synchronous Languages

An example conference paper

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum.

A Polynomial Template Abstract Domain based on Bernstein Polynomials

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses

Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers

Integrating Policy Iterations in Abstract Interpreters

Verification of aircraft controller: from process-based certification to product-based certification

A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems

Incremental verification with mode variable invariants in state machines