11 citations · 26 across the 4 of their papers we have counts for
4 papers
Contextuality degree of quadrics in multi-qubit symplectic polar spaces
Henri de Boutray, Frédéric Holweck, Alain Giorgetti +2
Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality…
Mermin Polynomials for Entanglement Evaluation in Grover's algorithm and Quantum Fourier Transform
Henri de Boutray, Hamza Jaffali, Frédéric Holweck +2
The entanglement of a quantum system can be valuated using Mermin polynomials. This gives us a means to study entanglement evolution during the execution of quantum algorithms. We…
Syntactic Abstraction of B Models to Generate Tests
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué +1
In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their s…
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
Samir Chouali, Jacques Julliand, Pierre-Alain Masson +1
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified through…