Imandra
ابزارهای بررسی کد
تأیید شوید و نمایه را به‌روزرسانی کنید
پروفایل‌های ثبت‌شده به بالای نتایج جستجو می‌روند. همین حالا تأیید شوید، فقط چند دقیقه طول می‌کشد.
بازدید
گزارش
This platform provides advanced logical reasoning and analysis tools designed to improve AI coding and software development by translating source code into formal mathematical models, enabling verification, bug detection, and automatic test case generation. Its key features include neurosymbolic AI integration for combining pattern recognition with symbolic reasoning, extensive context mapping of entire codebases, and seamless integration with existing workflows, solving problems related to code correctness, transparency, and regulatory compliance. It is intended for software developers, AI engineers, regulated industry professionals, and organizations seeking trustworthy, verifiable AI-driven solutions to improve code quality, reliability, and automation.
Imandra را می‌توان در موارد زیر یافت: Code Review Tools دسته بندی ها.
شبیه‌ترین محصولات به Imandra عبارتند از:
اسکرین‌شات‌ها
هنوز هیچ اسکرین‌شاتی آپلود نشده است. آیا شما صاحب این کسب و کار هستید؟
ویدیوهای یوتیوب
ویدیوها از کانال رسمی یوتیوب (3 videos)
جزئیات
Imandra ویژگی‌های اصلی
نشان‌ها
با یکی از نشان‌های ما، اعتبار SaaS خود را افزایش دهید
Imandra جایگزین
Drequ
پروفایل تأیید شده
This platform provides intelligent automation solutions designed to streamlin...
Cline
This platform integrates advanced artificial intelligence capabilities into p...
Code Swan
پروفایل تأیید شده
This system is an advanced AI-driven platform designed to automatically analy...
کاوش بیشتر در این دسته بندی
فناوری‌های مورد استفاده
تاریخچه امتیاز دامنه امتیاز دامنه، اعتبار لینک‌های این سایت را در مقیاس 0 تا 100 اندازه‌گیری می‌کند، بر اساس تعداد وب‌سایت‌هایی که به آن لینک داده‌اند. روند صعودی به این معناست که این محصول با گذشت زمان لینک‌های بیشتری کسب می‌کند و این یکی از بهترین شاخص‌ها برای سنجش رشد محبوبیت یک SaaS است.
رتبه فعلی دامنه
از ۱۰۰
داده از:
* گوگل تلاش می‌کند تا اطلاعات دقیق و به‌روزی در مورد منابع وب ناامن ارائه دهد، اما نمی‌تواند کامل بودن یا بدون خطا بودن نتایج را تضمین کند.
** ممکن است برخی یا تمام بخش‌های این صفحه توسط هوش مصنوعی تولید شده باشند، بنابراین لطفاً هرگونه اطلاعات مهم را به‌طور مستقل تأیید کنید.
تبلیغ
اخیراً ادعا شده است
تشخیص و تحلیل مراقبت‌های بهداشتی مبتنی بر هوش مصنوعی
طراحی هوش مصنوعی و ژنراتورهای لوگو
مدیریت و بهینه سازی میزبانی وب
ابزارهای ویرایش و تبدیل PDF
مدیریت تعمیرگاه
سیستم‌های نقطه فروش (POS)
نرم‌افزار مدیریت ناوگان
پردازش اسناد با هوش مصنوعی
مدیریت ارتباط با مشتری (CRM)
نرم‌افزار مدیریت محل برگزاری
اخیراً اضافه شده است
Vistential
پلتفرم‌های معاملات سهام و کارگزاری
Caretbot
آواتارهای مجازی و دستیاران دیجیتال مجهز به هوش مصنوعی
IPRoyal
API و پروکسی‌های وب اسکرپینگ
FlexiAI
نرم‌افزار اتوماسیون فروش
PharmaLink
نرم‌افزار مدیریت داروخانه
Contractor Hub
مدیریت پیمانکاران و فریلنسرها
herdr
نرم‌افزارهای ریموت دسکتاپ و دسترسی از راه دور
Celeblineki
نرم‌افزار تحلیل پیش‌بینی‌کننده
Applicargo
سیستم‌های مدیریت حمل و نقل و بار
Promptful
راهکارهای مدیریت خدمات میدانی
سریع‌ترین رشد SaaS
بر اساس رشد امتیاز دامنه
Spendaily
+7.00
ابزارهای برنامه‌ریزی و بودجه‌بندی مالی
Linzumi
+7.00
ابزارهای همکاری تیمی از راه دور
Readless
+5.00
پلتفرم‌های خبرنامه
Conzent
+5.00
ابزارهای انطباق با GDPR و حریم خصوصی داده‌ها
Monte Carlo
+5.00
نظارت و مشاهده‌پذیری برنامه
Ziven
+5.00
نظارت و تحلیل انرژی‌های تجدیدپذیر
SignalEDI
+4.50
نرم‌افزار تعامل با بیمار
ChecklistGuro
+4.00
نرم‌افزار مدیریت پروژه
Neumo
+4.00
پلتفرم‌های دولت الکترونیک و تحول دیجیتال
RecordFlow
+4.00
فضای ذخیره‌سازی ابری، پشتیبان‌گیری و اشتراک‌گذاری فایل
10 دسته برتر این ماه
1.
پلتفرم‌های معاملات سهام و کارگزاری
+1,826
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
2.
اتوماسیون گردش کار و RPA
+923
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
3.
ابزارهای ویرایش و تبدیل PDF
+598
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
4.
پلتفرم‌های AutoML
+568
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
5.
ابزارهای غربالگری رزومه مبتنی بر هوش مصنوعی
+556
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
6.
نرم‌افزار اتوماسیون فروش
+536
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
7.
ابزارهای برنامه‌ریزی و بودجه‌بندی مالی
+520
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
8.
آواتارهای مجازی و دستیاران دیجیتال مجهز به هوش مصنوعی
+479
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
9.
نرم‌افزار مدیریت مدرسه
+463
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
10.
ردیابی سلامت و تناسب اندام
+402
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
آمار مرورگر SaaS
اضافه شده در 30 روز گذشته
+47,386
تعداد محصولات جدید SaaS که در 30 روز گذشته کشف و به پایگاه داده ما اضافه شده‌اند.
SaaS فعال
558,685
تعداد کل محصولات SaaS منتشر شده و فعال که در حال حاضر در موتور جستجوی ما فهرست بندی شده اند.
مجموع در پایگاه داده
1,459,334
تعداد کل محصولات SaaS موجود در پایگاه داده ما، شامل موارد منتشر نشده و متوقف شده.
به صورت رایگان به مرورگر SaaS بپیوندید
از تمام فیلترهای پیشرفته به صورت رایگان استفاده کنید
فهرست‌های SaaS خود را مدیریت کنید
ایجاد هشدارهای رایگان برای SaaS جدید
حمایت‌شده
ScrAPI
API و پروکسی‌های وب اسکرپینگ
Polyglot Translate Cloud
نرم‌افزار ترجمه و محلی‌سازی
PromoSA
نرم‌افزار بازاریابی رویداد
Privatus Analytics
ردیابی خطا و گزارش اشکال
Irtiqa Hub
نرم‌افزار حسابداری
CostLoop
صورتحساب اشتراک و پرداخت‌های دوره‌ای
تبلیغ
اخیراً ادعا شده است
تشخیص و تحلیل مراقبت‌های بهداشتی مبتنی بر هوش مصنوعی
طراحی هوش مصنوعی و ژنراتورهای لوگو
مدیریت و بهینه سازی میزبانی وب
ابزارهای ویرایش و تبدیل PDF
مدیریت تعمیرگاه
سیستم‌های نقطه فروش (POS)
نرم‌افزار مدیریت ناوگان
پردازش اسناد با هوش مصنوعی
مدیریت ارتباط با مشتری (CRM)
نرم‌افزار مدیریت محل برگزاری
اخیراً اضافه شده است
Vistential
پلتفرم‌های معاملات سهام و کارگزاری
Caretbot
آواتارهای مجازی و دستیاران دیجیتال مجهز به هوش مصنوعی
IPRoyal
API و پروکسی‌های وب اسکرپینگ
FlexiAI
نرم‌افزار اتوماسیون فروش
PharmaLink
نرم‌افزار مدیریت داروخانه
Contractor Hub
مدیریت پیمانکاران و فریلنسرها
herdr
نرم‌افزارهای ریموت دسکتاپ و دسترسی از راه دور
Celeblineki
نرم‌افزار تحلیل پیش‌بینی‌کننده
Applicargo
سیستم‌های مدیریت حمل و نقل و بار
Promptful
راهکارهای مدیریت خدمات میدانی
سریع‌ترین رشد SaaS
بر اساس رشد امتیاز دامنه
Spendaily
+7.00
ابزارهای برنامه‌ریزی و بودجه‌بندی مالی
Linzumi
+7.00
ابزارهای همکاری تیمی از راه دور
Readless
+5.00
پلتفرم‌های خبرنامه
Conzent
+5.00
ابزارهای انطباق با GDPR و حریم خصوصی داده‌ها
Monte Carlo
+5.00
نظارت و مشاهده‌پذیری برنامه
Ziven
+5.00
نظارت و تحلیل انرژی‌های تجدیدپذیر
SignalEDI
+4.50
نرم‌افزار تعامل با بیمار
ChecklistGuro
+4.00
نرم‌افزار مدیریت پروژه
Neumo
+4.00
پلتفرم‌های دولت الکترونیک و تحول دیجیتال
RecordFlow
+4.00
فضای ذخیره‌سازی ابری، پشتیبان‌گیری و اشتراک‌گذاری فایل
10 دسته برتر این ماه
1.
پلتفرم‌های معاملات سهام و کارگزاری
+1,826
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
2.
اتوماسیون گردش کار و RPA
+923
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
3.
ابزارهای ویرایش و تبدیل PDF
+598
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
4.
پلتفرم‌های AutoML
+568
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
5.
ابزارهای غربالگری رزومه مبتنی بر هوش مصنوعی
+556
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
6.
نرم‌افزار اتوماسیون فروش
+536
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
7.
ابزارهای برنامه‌ریزی و بودجه‌بندی مالی
+520
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
8.
آواتارهای مجازی و دستیاران دیجیتال مجهز به هوش مصنوعی
+479
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
9.
نرم‌افزار مدیریت مدرسه
+463
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
10.
ردیابی سلامت و تناسب اندام
+402
تعداد محصولات جدید SaaS که در 30 روز گذشته به این دسته اضافه شده‌اند.
آمار مرورگر SaaS
اضافه شده در 30 روز گذشته
+47,386
تعداد محصولات جدید SaaS که در 30 روز گذشته کشف و به پایگاه داده ما اضافه شده‌اند.
SaaS فعال
558,685
تعداد کل محصولات SaaS منتشر شده و فعال که در حال حاضر در موتور جستجوی ما فهرست بندی شده اند.
مجموع در پایگاه داده
1,459,334
تعداد کل محصولات SaaS موجود در پایگاه داده ما، شامل موارد منتشر نشده و متوقف شده.
به صورت رایگان به مرورگر SaaS بپیوندید
از تمام فیلترهای پیشرفته به صورت رایگان استفاده کنید
فهرست‌های SaaS خود را مدیریت کنید
ایجاد هشدارهای رایگان برای SaaS جدید
حمایت‌شده
ScrAPI
API و پروکسی‌های وب اسکرپینگ
Polyglot Translate Cloud
نرم‌افزار ترجمه و محلی‌سازی
PromoSA
نرم‌افزار بازاریابی رویداد
Privatus Analytics
ردیابی خطا و گزارش اشکال
Irtiqa Hub
نرم‌افزار حسابداری
CostLoop
صورتحساب اشتراک و پرداخت‌های دوره‌ای
از دست ندهید، اولین نفری باشید که مطلع می‌شود!
محصولات جدید SaaS هر روز عرضه می‌شوند، 47,386 فقط در 30 روز گذشته اضافه شده است. آگاه باشید و اولین نفری باشید که از کشف SaaS جدید مطابق با عبارت جستجوی شما توسط مرورگر SaaS مطلع می‌شود.
برای تنظیم هشدارهای ایمیلی برای SaaS جدید مطابق با جستجوی خود وارد شوید.
برای ایجاد هشدار وارد شوید
ابزارهای مشابه را بررسی کنید
مرور همه →
