Companies similar to MURXLA
Sign up to Download

1-30 of 6,819,424 results

  • murxla.github.io
Murxla is a modular and highly extensible, model-based API Fuzzer for SMT solvers... Murxla randomly generates valid sequences of solver API calls based on a customizable API model, with full support for the semantics and features of SMT-LIB. It is..
Relevance: 37.368202
  • ssvlab.github.io
  • 1
ESBMC: is a context-bounded model checker for embedded C/C++ software based on Satisfiability Modulo Theories (SMT) solver. It allows the verification engineer to verify single- and multi-threaded software (with shared variables and locks); to reason..
Relevance: 21.300474
  • www.linkinvent.com
  • 1
LinkInvent, LLC is a Virginia based company that was established in 2015 by Derin Serbetcioglu. Our model is to increase the quality of the API`s. Our mission is API testing and reporting... LinkInvent, LLC in Charlottesville is an API testing and..
Relevance: 21.00718
  • www.smtlineequipment.com
  • 1
  • 4
CNSMT started in 2010, focusing on providing SMT full line equipment solutions for electronics manufacturing companies. In recent years, We have expanded the overall solution for the intelligent manufacturing of 3C and 5G manufacturing enterprises,..
Relevance: 19.775717
  • www.enki-portal.com
  • 2
  • 1
ENKI is a collaborative, Web-based model-configuration and testing portal that provides tools in computational thermodynamics and fluid dynamics... ENKI supports development and access to thermochemical models of Earth materials within a..
Relevance: 19.550497
  • www.jaqpot.org
Every model get's it's uri through jaqpot's API. Model integration can be done within minutes through the API and use it however you wish. No need to implement a specific servcies for your models. Become free of the integration, development and..
Relevance: 19.407972
  • modelmapper.org
ModelMapper is an intelligent, refactoring safe object mapping library that automatically maps objects to each other. It uses a convention based approach while providing a simple refactoring safe API for handling specific use cases... ModelMapper..
Relevance: 19.195562
  • www.api-uk.com
  • 1
  • 1
API is a UK based specialist pipeline inspection and Assessment Company. API is an industry leader in the application of innovative technology for water pipe inspection, assessment and water leak detection.API's Business model is simple; we offer the..
Relevance: 18.85081
  • www.mltigerpaw.com
The API specifies the type of operations available and the format of data transmitted to or from Tigerpaw. The API provides both representational state transfer (RESTful) and simple object access protocol (SOAP) based methods. RESTful API requests..
Relevance: 18.78332
  • text2data.com
Run sentiment analysis of your text data, identify what is positive or negative... Save and use your custom model in our Excel Add-In, Google Sheets add-on or programmatic api... Analyze in-house or social media unstructured content with our cloud-..
Relevance: 18.764225
  • relatude.com
  • 2
  • 1
Relatude is a very user-friendly solution, where there is a strong focus on making things easy for users. It does not help to offer a lot of functionality if users do not understand how to use the solution. A user-friendly solution also makes editors..
Relevance: 18.693535
  • www.smtcompany.se
  • 9
  • 8
  • 5
SMT is an association of the Swedish machine manufacturers & brands SMT Swedturn, Storebro Machine Tools & SMT SwedMill... SMT, Swedish Machine Tool Company AB, emerged from a major change effort during the autumn of 2020. The machine manufacturers..
Relevance: 18.683031
  • hollow.how
Hollow provides the capability to automatically generate a custom API based on a specific data model, so that consumers can intuitively interact with the data, with the benefit of IDE code completion...
Relevance: 18.598701
  • www.sergiomover.eu
  • 1
My work focuses on formal methods, in particular model checking using Satisfiability Modulo Theories (SMT) for different systems (hybrid systems and embedded software) and on program analysis...
Relevance: 18.519398
  • www.veritasutama.com
Superior Management Trainings (SMT) is a leading provider of quality professional training services... SMT is a business unit of International Prime Resources bv, a Netherlands-based professional business services company...
Relevance: 18.401102
  • occi-wg.org
The Open Cloud Computing Interface is a boundary protocol and API that acts as a service front-end to a provider's internal management framework.The next diagram shows OCCI's place in a 's architecture... Service consumers can be both end-users and..
Relevance: 18.33112
  • www.shortmanagementcourses.com
  • 1
SMT is a business unit of International Prime Resources BV, a Netherlands-based professional business services company... Superior Management Trainings (SMT), established in 2000, is a leading provider of quality professional training services...
Relevance: 18.24464
  • www.licenseplates.info
  • 1
A simple API for accessing vehicle information from United States license plates. Returns vehicle make, model, year, trim, fuel type and engine specs... There is a single endpoint for accessing the plate information. It requires an API key for..
Relevance: 18.222235
  • www.ibesmt.com
  • 8
  • 24
  • 5
IBE is recognized globally as a provider of Quality Used SMT Equipment. We specialize in Fuji, DEK, Ekra, Speedline MPM, Panasonic and Universal Instruments Equipment... IBE's Corporate Headquarters are located in Magnolia, Texas, which is 45..
Relevance: 17.96442
  • www.durostattile.com
  • 1
DuroStat SMT ESD Tile provides affordable grounding solutions for electronics manufacturing and assembly areas... Are you concerned with the maintenance required to keep your ESD floor looking good? Are you tired of seeing standard ESD flooring..
Relevance: 17.827267
  • www.quantumgate.org
The long-term goal for QuantumGate is to become a platform for distributed computing based on a mesh networking model. In the short term, the goal is to provide developers with networking technology that they can easily integrate and use in their own..
Relevance: 17.691511
  • www.dys.hk
  • 3
  • 2
Our company is equipped with precision hardware processing workshop,CNC workshop, SMT workshop, motor workshop, servo production line and injection workshop , which can meet different customers'requirements and all kinds of OEM/ODM orders.....
Relevance: 17.683218
  • innovativetxt.azurewebsites.net
Our Mission is to be the global provider of Global text messaging API, to send and receive text messages. We aim direct to carrier model that improves delivery ratios and lowers latency... Innovative Text is Cloud based SMS API Gateway, recognize..
Relevance: 17.661085
  • www.reliant-eds.com
  • 1
  • 1
Reliant EDS SMT Facility is located in the Industrial Model Township of Haryana ( IMT Manesar ) which is just 25 kms from the International Airport of New Delhi and 1 km from the Suzuki Motor Company Car Factory... Starting with a Small Capacity of..
Relevance: 17.63791
  • www.contentboxcms.org
  • 1
  • 1
Manage content in a single centralized location and consume it from any device or application through a robust built-in API and gain full control of the UI... ContentBox is a professional open source modular CMS (Content Management System) for..
Relevance: 17.622347
  • www.smt-muc.com
  • 2
  • 1
SMT Munich, formerly Signum Bildtechnik, is a german manufacturer of broadcast equipment with over 22 years' experience based in Munich. SMT Munich has comprehensive experience in live-playout systems, streaming, recording and playout servers... SMT..
Relevance: 17.574373
  • www.suneastsmt.com
  • 2
  • 2
Responsible for the packaging, storage and delivery of SMT machines (to users). To coordinate and bear delays and other economic losses caused by negligence in procurement activities... I.C.T is the professional manufacturer for SMT Pick and Place..
Relevance: 17.57386
  • sinotrade.github.io
Shioaji is the most pythonic API for trading the Taiwan and global financial market. You can integrated your favorite Python packages such as NumPy, pandas, PyTorch or TensorFlow to build your trading model with the Shioaji API on cross-platform...
Relevance: 17.54754
  • www.kopro.co.kr
According to API 2000 code, the pressure & vacuum relief valve of Model KSBB is designed, manufactured and tested... Model KSBB, which is used for the protector of fluid storage tank, is composed of one body with the functions of pressure relief and..
Relevance: 17.474913
  • www.smt-yfx.com
  • 1
  • 1
Shenzhen Yufuxin Technology Co., Ltd is a professional SMT SMT machine accessories and SMT machine, reflow welding, connecting table, solder paste printing machine and other whole SMT production line debugging and installation services and related..
Relevance: 17.449617