Papers accepted at FM’24

We are glad that we got three papers accepted at FM’24:

• DFAMiner, for mining minimal separating DFAs from labelled samples;
• Compositional verification of cryptographic circuits against fault injection attacks; and
• Certified quantization strategy synthesis for neural networks.