formal-tech.com valid
丰蕾科技 / FormalTech
上海丰蕾信息科技有限公司是全自主高端工业软件供应商，面向高安全工业控制、高端装备研制和自动化 AI 嵌入式开发，提供 SMAVE、ACEPHERE、VxSPACE 系列工业软件、控制器软件与软硬件一体化解决方案。
For agents: Shanghai industrial software vendor offering SMAVE, ACEPHERE and VxSPACE control software, controller software and hardware-software solutions for industrial au
industrial control softwarescadaembedded ai developmentformaltech productscontroller software
- Authority
- 50 reach 0 · trust 10 · quality 25 · freshness 15
- Tier
- listed
- llms.txt
- https://www.formal-tech.com/llms.txt
- llms-full.txt
- https://www.formal-tech.com/llms-full.txt
- Sections
- 5
- Links
- 25
- Size
- 4437 bytes
- Registered
- 2016-04-01
- Country
- China Hosting inference
- Hosting country
- China Hosting inference
- Country evidence
- No published address evidence collected yet
- Categories
- Industry and manufacturing
- For agents
- Documentation: developer or product docs worth reading, nothing to call
- Inferred actions
- Read documentation Support / contact About these labels
- Audience
- business · agents can: read docs, contact support · zh
- First seen
- 2026-10-27T15:55:17.036Z
- Last checked
- 2026-10-27T15:55:23.860Z
- Badge
Their llms.txt
The beginning of the file, from our validated copy saved 2026-10-27T15:55:17.039Z. Cached copy · Source on formal-tech.com
# 丰蕾科技 / FormalTech
> 上海丰蕾信息科技有限公司是全自主高端工业软件供应商，面向高安全工业控制、高端装备研制和自动化 AI 嵌入式开发，提供 SMAVE、ACEPHERE、VxSPACE 系列工业软件、控制器软件与软硬件一体化解决方案。
This file helps LLMs and AI agents find concise, canonical pages for FormalTech. It complements normal SEO, sitemap, and structured data; it is not a ranking directive.
## Core Facts
- Legal name: 上海丰蕾信息科技有限公司
- English name: Shanghai Formal Information Technology Co., Ltd.
- Brand names: 丰蕾科技, FormalTech, SMAVE, ACEPHERE, VxSPACE
- Founded: 2015
- Headquarters: 上海市普陀区同普路339弄北3号楼罗莱生活大厦10层
- Contact: sales@formal-tech.com, +86 (021) 62118992
- Main domains: high-safety industrial software, model-based development, formal verification, embedded simulation, industrial control software, AI-enabled embedded automation
## Primary Pages
- [首页 / Home](https://www.formal-tech.com/zh/) - overview of FormalTech product families and solutions.
- [公司简介 / About](https://www.formal-tech.com/zh/about/) - company profile, qualifications, milestones, and positioning.
- [联系丰蕾 / Contact](https://www.formal-tech.com/zh/about/contact/) - sales contact, headquarters address, and channel cooperation.
- [AI-readable overview](https://www.formal-tech.com/ai-overview.md) - concise markdown summary for AI systems.
- [AI FAQ](https://www.formal-tech.com/ai-faq.md) - question-answer summary of FormalTech, products, scenarios, and contact information.
- [Full LLM summary](https://www.formal-tech.com/llms-full.txt) - expanded product and topic summary.
- [Machine-readable AI index](https://www.formal-tech.com/ai-index.json) - structured index of organization, products, topics, and canonical URLs.
## Products
- [SMAVE Model Suite](https://www.formal-tech.com/zh/product/smave-model-suite/) - model-based embedded software design, simulation, verification, and code generation environment.
- [SMAVE Design Verifier](https://www.formal-tech.com/zh/product/smave-design-verifier/) - model checking and formal verification platform for safety-critical embedded systems.
- [SMAVE Model Fabric](https://www.formal-tech.com/zh/product/smave-model-fabric/) - multi-domain model integration and co-simulation environment supporting FMI/FMU workflows.
- [SMAVE Virtual System](https://www.formal-tech.com/zh/product/smave-virtual-system/) - embedded virtual hardware, processor simulation, debugging, fault injection, and coverage analysis platform.
- [SMAVE AI Fuzzer](https://www.formal-tech.com/zh/product/smave-ai-fuzzer/) - AI-assisted fuzz testing for industrial control protocols.
- [SMAVE Display](https://www.formal-tech.com/zh/product/smave-display/) - ARINC 661 HMI design, definition-file generation, and validation toolchain.
- [ACEPHERE Studio](https://www.formal-tech.com/zh/product/acephere/) - IEC 61131-3 industrial controller application development environment.
- [ACEPHERE Motion Robotics](https://www.formal-tech.com/zh/product/acephere-motion-robotics/) - PLCopen motion control and robotics application toolkit.
- [ACEPHERE Visualization](https://www.forma
…Related sites
Similar publisher descriptions and documentation. Similarity does not imply affiliation or equivalent capabilities.
| Domain | Title | Category | Country | Authority | llms.txt | llms-full.txt | Save |
|---|---|---|---|---|---|---|---|
| apex.ai | Apex.AI | interface Industry and manufacturing AI and machine learning +2 | US | 53 | ✓ | ||
| synopsys.com | Synopsys.com: Silicon-to-Systems Innovation | documentation AI and machine learning Developer tools | US | 65 | ✓ | ||
| structures.aero | SDA Software | SDA Software | informational | — | 46 | ✓ | ||
| ysoft.com | Y Soft | documentation Business software | US | 56 | ✓ | ||
| technia.com | TECHNIA: Smarter Products Faster | documentation Business software | — | 54 | ✓ | ||
| flux.ai | Flux | documentation AI and machine learning Developer tools | US | 57 | ✓ | ||
| sdasoftware.com | SDA Software | SDA Software | documentation Science and research Business software | — | 46 | ✓ | ||
| fabrity.com | Fabrity: Empowering business through tech innovation | documentation AI and machine learning Developer tools +3 | PL | 52 | ✓ |
Machine-readable: GET /v1/resolve?q=formal-tech.com · GET /v1/domain/formal-tech.com · this page as Accept: application/json or text/markdown · MCP lookup_domain
Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.
Own or manage this website?
If you own or manage formal-tech.com, you can update its listing and review file health, discovery activity and score history.
Manage this listing — optional
What verification unlocks
See how your site is discovered—and control what agents see.
- See your website in the map
Review your indexed topics, nearby publishers sharing headings, measured listing exposure and map snapshots in a private report for your website.
- Control what agents see
Edit your listing description, tags, public contact details and additional llms.txt paths. Publish your terms for automated access, attribution and pricing.
- Make your profile eligible for search
A valid, listed, unblocked, verified profile can appear in our publisher sitemap and become eligible for search-engine visibility. Search engines decide what to index and rank.
- Appear in our llms-full.txt
Eligible verified publishers are listed by name, with their file links and summaries, in the service overview agents can read.
Free. No account registration, backlink or payment required. Public discovery remains available without verification.
Let your coding agent verify it
If your coding agent is authorized to manage this website, paste these instructions into it.
Claim my listing on Agent Web Map for formal-tech.com:
1. POST https://agentwebmap.com/v1/sites/formal-tech.com/claims and keep claim_id and claim_secret private.
2. Publish the verification line "AgentWebMap verification: <token>" (token from step 1) in https://formal-tech.com/llms.txt, or use the DNS, meta-tag or well-known method the response describes. This only verifies the listing; your website and domain remain yours.
3. POST https://agentwebmap.com/v1/sites/formal-tech.com/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/formal-tech.com).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verifyCorrections or removal requests: contact the directory.