Orchids

swMATH9807MaRDI QIDQ21786FDOQ21786

Author name not available (Why is that?)

Official website: http://www.lsv.ens-cachan.fr/Software/orchids/

Cited In (3)

• Computer Aided Verification
• On the complexity of monitoring Orchids signatures, and recurrence equations
• A novel algorithm for intrusion detection based on RASL model checking

This page was built for software: Orchids