"Nteractive theorem proving"@en . "Formal specifications"@en . "Non-locality"@fr . "Graphe"@fr . "Software analysis"@en . "Permutations"@en . "Rooted planar map"@en . "Combinatoire"@fr . "Deductive verification"@en . "Binary"@en . "Algebra system" . "Software testing"@en . "Alain" . . "Verification" . "Tiling"@en . . "Giorgetti" . "Boolean Function"@en . "Dessins d'enfants"@fr . . . . "Finite geomtries"@fr . "Enumeration"@en . "Java modeling language"@fr . . . "Property-based testing"@en . "M\u00E9thode d\u00E9ductive"@fr . "Term rewriting"@en . "Propri\u00E9t\u00E9s temporelles"@fr . "Liveness"@fr . "Symbolic transformation"@en . "Programming"@en . "Schematic saturation"@en . . . "Symplectic"@en . . "C programs"@en . . . "Deductive method"@en . . "Formal verification"@en . "Calcul formel"@fr . "Superposition"@en . "Formal power series"@en . "Java Modeling Language" . "PHP"@en . "M\u00E9thodes formelles"@fr . "Rooted map"@fr . "Specifications"@en . "Non-compliance"@en . "Shuffle of Dyck words"@en . "Annotations"@fr . "Time-consuming tasks"@en . "Rooted maps"@en . "Formal methods"@en . "\u00C9num\u00E9ration"@fr . "Application programs"@en . "Decision procedures"@en . "Unit testing"@en . "Equivalence relation"@en . "Design-by-Contract"@en . . "Plug-ins"@en . . "Logiciel s\u00FBr"@fr . "Exhaustive Testing"@en . "Java language"@fr . "Computer"@en . "Random testing"@en . "Programmation imp\u00E9rative"@fr . "Surface topologique"@fr . "Multiscale modeling"@en . "C codes"@en . "Temporal logic"@fr . "bc5e32bc61ef7713f2b89a3355722bf8" . "Symbolic computation"@fr . "Combinatorial enumeration"@en . "C programming language"@en . . "Orientability"@en . "Combinatorics"@fr . "Imperative programming"@en . "Functional specification"@en . . "Picture automata"@en . . . "JML assertion"@fr . "Algorithmic efficiency"@en . "Sp\u00E9cification fonctionnelle"@fr . "Riemann surface"@en . "Carte"@fr . "Simulation"@en . "Bounded exhaustive testing"@en . "Annotation language"@en . "Test generations"@en . . . "Pattern"@en . "Enumerative Combinatorics"@en . . . . "V\u00E9rification"@fr . "Enumerative testing"@en . <0000-0002-0990-9611> . <117818380> . . "Quantum"@en . "Logic Programming"@en . "Picture languages"@en . . "Logiciel" . . "Quantum contextuality"@fr . "S\u00E9mantique formelle"@fr . . "Strategies"@en . "Bounded-exhaustive testing"@en . "S\u00E9rie formelle"@fr . "Formal specification"@en . . "Carte point\u00E9e"@fr . "Formal semantics"@en . "Pauli groups"@fr . "Alain Giorgetti" .