4.7 out of 5 stars
(16 Ratings)
Thinfinity Workspace is a virtual desktop (VDI) and virtual application (VDA) platform that runs natively on Oracle Cloud Infrastructure (OCI), with no third-party hypervisor layer. It publishes Windows and Linux desktops and applications, internal web apps and files to any HTML5 browser or to native Windows, iOS and Android clients, with no VPN. The browser needs no install; the native clients add low-level USB device redirection.
How it works: a gateway, a broker and a lightweight agent on each session host. Agents connect outbound to the gateway over port 443, so session hosts need no inbound firewall rules for user access. Sign-in works with Active Directory, LDAP, SAML 2.0, OAuth 2.0 or RADIUS, with built-in multi-factor authentication and role-based permissions. Session recording and audit logging, with SIEM export, support HIPAA, GDPR and PCI DSS reviews.
Linux, Java and web applications can also run as per-session containers on Kubernetes (OKE), and a REST API supports automation. Standard VDI features include multi-monitor, printing, clipboard and file transfer, USB redirection, session sharing, load balancing and high availability.
Also deploys on AWS, Azure, Google Cloud, IONOS, VMware, Hyper-V, Proxmox, hybrid and air-gapped networks. Licensed per concurrent user.
Learn more about Thinfinity Workspace
4.3 out of 5 stars
(6 Ratings)
TrustInSoft Analyzer (TISA) is formal verification for embedded software teams. It uses AI-assisted formal methods to mathematically verify C, C++, and Rust code, proving the absence of runtime errors and undefined behavior such as buffer overflows, uninitialized memory, use-after-free, and integer overflows.
Whether code is written by your developers or generated with AI, TrustInSoft Analyzer considers every execution path, not a sample of them. When replaying your existing tests, it reports no false positives and no false negatives for undefined behavior. With input generalization, it extends the analysis to all possible input values. In multi-threaded code, it detects race conditions as a class of undefined behavior.
The Root Cause Investigator traces each alarm back to its origin. The TISA Project Manager lets teams set up, run, and report on analysis campaigns from a graphical interface. Analysis reflects your target hardware characteristics without needing the hardware itself.
Teams use it to reduce verification effort, produce evidence for standards of work such as ISO 26262, ISO 21434 and DO178C, and release with greater confidence.
Learn more about TrustInSoft Analyzer
Stey.ai
AI-assisted user behavior replays reveal UX issues and provide actionable insights. User replay shows the user's actions, contexts, and purposes, going beyond traditional event-tracking data. Automatically summarize key moments in each user session, and highlight UX issues and optimization suggestions. Observe the user's view of the interface and all the actions, as if you were sitting next to them doing user research. View the click data without setting up event tracking, it will automatically collect all events. Through simple questions, you can get data on user behavior and easily find the user replay you want to observe. Locate user experience problems through experience reports, generated automatically by AI and big data analysis. Currently, the beta phase is free with 100K sessions/month, if you need more sessions, please feel free to tell us. You have complete control over your privacy settings and can block any unwanted data collection.
Learn more about Stey.ai
