docs.runtimeverification.com/kontrol

Preview meta tags from the docs.runtimeverification.com website.

Linked Hostnames

7

Thumbnail

Search Engine Appearance

Google

https://docs.runtimeverification.com/kontrol

Kontrol | Kontrol

Kontrol your smart contracts with formal verification made simple



Bing

Kontrol | Kontrol

https://docs.runtimeverification.com/kontrol

Kontrol your smart contracts with formal verification made simple



DuckDuckGo

https://docs.runtimeverification.com/kontrol

Kontrol | Kontrol

Kontrol your smart contracts with formal verification made simple

  • General Meta Tags

    11
    • title
      Kontrol | Kontrol
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1, maximum-scale=1
    • next-size-adjust
    • color-scheme
      light

  • Open Graph Meta Tags

    3
    • og:title
      Kontrol | Kontrol
    • og:description
      Kontrol your smart contracts with formal verification made simple
    • og:image
      https://docs.runtimeverification.com/kontrol/~gitbook/ogimage/AxmTxi3A994ouRGCXMOS

  • Twitter Meta Tags

    4
    • twitter:card
      summary_large_image
    • twitter:title
      Kontrol | Kontrol
    • twitter:description
      Kontrol your smart contracts with formal verification made simple
    • twitter:image
      https://docs.runtimeverification.com/kontrol/~gitbook/ogimage/AxmTxi3A994ouRGCXMOS

  • Link Tags

    25
    • alternate
      https://docs.runtimeverification.com/kontrol/overview/readme.md
    • canonical
      https://docs.runtimeverification.com/kontrol
    • icon
      https://docs.runtimeverification.com/kontrol/~gitbook/image?url=https%3A%2F%2F1115051585-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FT2KVb4tqbNdAsPxsEyPQ%252Ficon%252FF1zmCoKqTnkvAL3K5H7i%252Fkontrol%2520icon%2520yellow.png%3Falt%3Dmedia%26token%3Dbd3f9060-a829-4d58-ac18-87b74c9eb2ec&width=48&height=48&sign=8c341d25&sv=2
    • icon
      https://docs.runtimeverification.com/kontrol/~gitbook/image?url=https%3A%2F%2F1115051585-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FT2KVb4tqbNdAsPxsEyPQ%252Ficon%252FF1zmCoKqTnkvAL3K5H7i%252Fkontrol%2520icon%2520yellow.png%3Falt%3Dmedia%26token%3Dbd3f9060-a829-4d58-ac18-87b74c9eb2ec&width=48&height=48&sign=8c341d25&sv=2
    • icon
      https://docs.runtimeverification.com/kontrol/~gitbook/image?url=https%3A%2F%2F1115051585-files.gitbook.io%2F%7E%2Ffiles%2Fv0%2Fb%2Fgitbook-x-prod.appspot.com%2Fo%2Fspaces%252FT2KVb4tqbNdAsPxsEyPQ%252Ficon%252FF1zmCoKqTnkvAL3K5H7i%252Fkontrol%2520icon%2520yellow.png%3Falt%3Dmedia%26token%3Dbd3f9060-a829-4d58-ac18-87b74c9eb2ec&width=48&height=48&sign=8c341d25&sv=2

Links

39