Interesting Properties of the Real-Time Conformance Relation

By Moez Krichen, Stavros Tripakis. 2006

21 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Hardware and Architecture, Software

Citations in the corpus

• Generative Adversarial Networks (2021, neutral): “GANs is the use of formal methods to improve their reliability and safety [21], [22].”
• Convolutional Neural Networks: A Survey (2023, unknown): “Formal methods can help to address these challenges by providing a rigorous approach to designing and verifying CNNs. Formal methods are a set of mathematical techniques for specifying, modeling, and verifying systems [202–206].”