FAST

swMATH6192MaRDI QIDQ18326FDOQ18326

Author name not available (Why is that?)

Official website: http://www.infsec.ethz.ch/people/brunoco

Described by source

• FAST: an efficient decision procedure for deduction and static equivalence

Cited In (14)

• \(\mathcal H_\infty\) static output-feedback control design with constrained information for offshore wind turbine system
• Analysing privacy-type properties in cryptographic protocols (invited talk)
• Adaptive maximum power point tracking control for wind turbines with effective wind speed estimation \& prediction
• ProVerif
• OFMC
• scyther
• LALBLC
• Akiss
• Apte
• FAST
• TurbSim
• Computing knowledge in equational extensions of subterm convergent theories
• Linear parameter‐varying modelling and control of an offshore wind turbine with constrained information
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

This page was built for software: FAST