A Formal Framework for Conformance Testing of Distributed Real-Time Systems

By Moez Krichen. 2010

22 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

Citations in the corpus

• Generative Adversarial Networks (2021, neutral): “Formal methods can be used to improve the reliability and safety of GANs by verifying the properties of GANs or generating adversarial examples to evaluate their robustness [23], [24].”