{
  "ok": true,
  "listing": {
    "id": "lst_01M42RAW9ZP2NGKHFTB4Q8F2HS",
    "slug": "forsyte-at",
    "businessName": "FORSYTE.at",
    "legalName": "",
    "description": {
      "short": "FORSYTE.at HOME RESEARCH Groups Projects Docfunds Publications Software TEACHING Courses Student projects/theses NEWS PEOPLE TALKS PRESS CONTACT Automated Program Reasoning Theory and Applications of Satisfiability Models of Computation Rigorous Systems Engineering Research The four pillars of FORSYTE are: Automated Program Reasoning (Kovács) Theory and Applications of Satisfiability (Fazekas) Models Of Computation (Zuleger) Rigorous Systems Engineering (Weissenbacher) The research unit is concerned with the development of both theoretical foundations and practical approaches for software and hardware verification and engineering. Fundamental research topics include software model checking,",
      "full": "FORSYTE.at HOME RESEARCH Groups Projects Docfunds Publications Software TEACHING Courses Student projects/theses NEWS PEOPLE TALKS PRESS CONTACT Automated Program Reasoning Theory and Applications of Satisfiability Models of Computation Rigorous Systems Engineering Research The four pillars of FORSYTE are: Automated Program Reasoning (Kovács) Theory and Applications of Satisfiability (Fazekas) Models Of Computation (Zuleger) Rigorous Systems Engineering (Weissenbacher) The research unit is concerned with the development of both theoretical foundations and practical approaches for software and hardware verification and engineering. Fundamental research topics include software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems. Industrial research is focusing on low level software, and embedded systems in the avionics and automotive sector."
    },
    "industry": "",
    "website": "https://forsyte.at/",
    "rootDomain": "forsyte.at",
    "listingOrigin": "discovered",
    "entityType": "business",
    "entitySubtype": "commercial_organization",
    "entityClassification": {
      "type": "business",
      "subtype": "commercial_organization",
      "confidenceScore": 73,
      "classifiedAt": "2026-10-04T06:06:33.028Z",
      "government": null
    },
    "placementType": "country",
    "location": {
      "placementType": "country",
      "countryCode": "AT",
      "countryName": "Austria",
      "flag": "🇦🇹",
      "region": "",
      "city": "",
      "mode": "online"
    },
    "primaryCategory": null,
    "claimStatus": "unclaimed",
    "verificationStatus": "unverified",
    "verified": false,
    "businessVerification": {
      "applicable": true,
      "status": "pending",
      "level": "none",
      "label": "Not Registry Verified",
      "badgeColor": "neutral",
      "countsAsVerified": false,
      "authority": null,
      "registryId": null,
      "matchScore": 0,
      "authorityCode": null,
      "lei": null,
      "jurisdiction": null,
      "registeredLegalName": null,
      "registryStatus": null,
      "registryUrl": null,
      "checkedAt": null,
      "verifiedAt": null,
      "nextCheckAt": null
    },
    "businessVerified": false,
    "commercialStatus": "free",
    "agentStatus": "active",
    "paidProfile": false,
    "freshnessStatus": "current",
    "media": {
      "logo": "https://forsyte.at/favicon.ico",
      "explicitLogo": null,
      "favicon": null,
      "fallback": "https://forsyte.at/favicon.ico"
    },
    "scores": {
      "dataConfidence": 80,
      "quality": 80,
      "verification": 0
    },
    "qualityScore": 80,
    "urls": {
      "directory": "https://directory.websdocs.com/business/forsyte-at",
      "json": "https://directory.websdocs.com/business/forsyte-at.json",
      "website": "https://forsyte.at/",
      "gateway": null
    },
    "publishedAt": "2026-10-04T06:06:33.981Z",
    "updatedAt": "2026-10-04T06:06:43.659Z",
    "organizationType": "organization",
    "language": {
      "primary": "",
      "supported": [],
      "currencies": []
    },
    "categories": [
      {
        "slug": "automotive",
        "name": "Automotive",
        "primary": true,
        "confidenceScore": 59
      }
    ],
    "services": [],
    "products": [],
    "agentCapabilities": [
      {
        "key": "booking",
        "name": "Online booking",
        "description": "Detected from public website navigation or discovery metadata.",
        "protocol": "http",
        "actionUrl": "https://forsyte.at/news/2015-09-30/",
        "method": "GET",
        "authenticationRequired": false
      },
      {
        "key": "support",
        "name": "Online support",
        "description": "Detected from public website navigation or discovery metadata.",
        "protocol": "http",
        "actionUrl": "https://forsyte.at/contact",
        "method": "GET",
        "authenticationRequired": false
      }
    ],
    "contacts": [
      {
        "type": "email",
        "label": "Public email",
        "value": "sek@forsyte.tuwien.ac.at",
        "url": "https://mailto:sek@forsyte.tuwien.ac.at/",
        "platform": "email",
        "primary": true,
        "verificationStatus": "public_source"
      },
      {
        "type": "phone",
        "label": "Public phone",
        "value": "1971-2016",
        "url": null,
        "platform": "phone",
        "primary": false,
        "verificationStatus": "public_source"
      }
    ],
    "serviceAreas": [
      {
        "type": "country",
        "countryCode": "AT",
        "region": "",
        "city": "",
        "postalCode": "",
        "radiusKm": null,
        "description": "Austria",
        "primary": true
      }
    ],
    "sources": [
      {
        "type": "website",
        "url": "https://forsyte.at/",
        "title": "FORSYTE.at",
        "primary": true,
        "lastObservedAt": "2026-10-04T06:06:21.382Z"
      },
      {
        "type": "website",
        "url": "https://forsyte.at/groups/",
        "title": "FORSYTE.at",
        "primary": false,
        "lastObservedAt": "2026-10-04T06:06:21.382Z"
      },
      {
        "type": "website",
        "url": "https://forsyte.at/press/",
        "title": "FORSYTE.at",
        "primary": false,
        "lastObservedAt": "2026-10-04T06:06:21.382Z"
      },
      {
        "type": "website",
        "url": "https://forsyte.at/talks/",
        "title": "FORSYTE.at",
        "primary": false,
        "lastObservedAt": "2026-10-04T06:06:21.382Z"
      },
      {
        "type": "website",
        "url": "https://forsyte.at/news/",
        "title": "FORSYTE.at",
        "primary": false,
        "lastObservedAt": "2026-10-04T06:06:21.382Z"
      },
      {
        "type": "website",
        "url": "https://forsyte.at/news/2024-11-20/",
        "title": "FORSYTE.at",
        "primary": false,
        "lastObservedAt": "2026-10-04T06:06:21.382Z"
      },
      {
        "type": "website",
        "url": "https://forsyte.at/news/2025-04-07/",
        "title": "FORSYTE.at",
        "primary": false,
        "lastObservedAt": "2026-10-04T06:06:21.382Z"
      },
      {
        "type": "website",
        "url": "https://forsyte.at/contact/",
        "title": "FORSYTE.at",
        "primary": false,
        "lastObservedAt": "2026-10-04T06:06:21.382Z"
      }
    ],
    "timestamps": {
      "firstDiscoveredAt": "2026-10-04T06:06:21.382Z",
      "lastCrawledAt": "2026-10-04T06:06:33.981Z",
      "lastVerifiedAt": null,
      "publishedAt": "2026-10-04T06:06:33.981Z",
      "updatedAt": "2026-10-04T06:06:43.659Z"
    },
    "gatewayDiscovery": {
      "status": "unmapped",
      "activeAgent": false,
      "urls": {},
      "capabilities": {
        "ask": false,
        "checkout": false
      },
      "checkedAt": null
    },
    "quoteRequest": {
      "available": false,
      "endpoint": null
    }
  },
  "canonicalUrl": "https://directory.websdocs.com/business/forsyte-at",
  "generatedAt": "2026-10-08T07:10:48.483Z"
}