Formal methods

TrustInSoft Showcases New Offer for Zero-Vulnerability Devices at Mobile World Congress 2022

Retrieved on:

星期一, 二月 28, 2022

BARCELONA, Spain, Feb. 28, 2022 /PRNewswire/ -- TrustInSoft, a cybersecurity software company, is showcasing its latest offer for zero-vulnerability devices at the Mobile World Congress (MWC), the premier mobile communications trade show taking place from February 28th to March 3rd in Barcelona. This year's MWC comes on the heels of last summer's revelations of the impact of Pegasus software's alleged hacks, which exploit vulnerabilities in source code to take arbitrary control of devices.

Key Points:

BARCELONA, Spain, Feb. 28, 2022 /PRNewswire/ --TrustInSoft, a cybersecurity software company, is showcasing its latest offer for zero-vulnerability devices at the Mobile World Congress (MWC), the premier mobile communications trade show taking place from February 28th to March 3rd in Barcelona.
There is no better line of defense than protecting software from the inside out by ensuring the security of its source code.
TrustInSoft's latest offer for zero-vulnerability embedded software and firmware provides assurance to developers that the low-level components used in their software are mathematically guaranteed vulnerability-free.
TrustInSoft participates in the Application Security Testing market alongside vendors such as Mathworks, Parasoft, Synopsys and Veracode.

TrustInSoft's Exhaustive Static Analysis Proves the Security of Trusted Execution Environments

Retrieved on:

星期二, 十一月 9, 2021

PARIS and SAN FRANCISCO, Nov. 9, 2021 /PRNewswire/ --TrustInSoft, a cybersecurity software company, today announced the release of a new white paper"How Exhaustive Static Analysis Can Prove the Security of Trusted Execution Environments (TEEs)."

Key Points:

PARIS and SAN FRANCISCO, Nov. 9, 2021 /PRNewswire/ --TrustInSoft, a cybersecurity software company, today announced the release of a new white paper"How Exhaustive Static Analysis Can Prove the Security of Trusted Execution Environments (TEEs)."
This free white paper explains how exhaustive static analysis can drastically improve the performance in ensuring the security and reliability of a TEE versus traditional software testing.
Anyone developing software code within Trusted Execution Environments can benefit from TrustInSoft's free white paper to learn:
The TEE is a key component in many consumer devices, including smartphones, tablets, set-top boxes, and game consoles.
The TrustInSoft Analyzer is a hybrid static and dynamic code analyzer that automates Formal Methods to mathematically guarantee C/C++ code quality, security and safety.

TrustInSoft Mathematically Guarantees Zero-Bug Mobile Applications with New Application Security Test

Retrieved on:

星期三, 九月 15, 2021

This latest application security test (AST) leverages TrustInSoft Analyzer, an exhaustive code analyzer powered by the latest advancements in formal methods, to prove the absence of bugs in APIs and libraries often used in complex mobile application backends.

Key Points:

This latest application security test (AST) leverages TrustInSoft Analyzer, an exhaustive code analyzer powered by the latest advancements in formal methods, to prove the absence of bugs in APIs and libraries often used in complex mobile application backends.
TrustInSoft's AST comes at a time when mobile application security is being called into question, with the resurgence of spyware software Pegasus and its alleged hacks.
TrustInSoft participates in the Application Security Testing market alongside vendors such as Mathworks, Parasoft, Synopsys and Veracode.
TrustInSoft Analyzer is a hybrid static and dynamic code analyzer that automates Formal Methods to mathematically guarantee C/C++ code quality, security and safety.

Process Development: Getting from Phase I to III, Upcoming Webinar Hosted by Xtalks

Retrieved on:

星期四, 六月 24, 2021

Articles, Academic disciplines, Enterprise modelling, Formal methods, Pharmaceutical industry, IEEE standards, Communication studies, Critical process parameters, Risk management

Risk management is used to build robustness and contingencies into the process development plan.

Key Points:

Risk management is used to build robustness and contingencies into the process development plan.
It is also essential to look at where compromises and trade-offs are in the process development approach.
It will touch upon gaining understanding of the key quality attributes and critical process parameters as part of developing the process.
For more information, or to register for this event, visit Process Development: Getting from Phase I to III.

TrustInSoft Mathematically Guarantees Zero Bug Vehicles with New Application Security Test

Retrieved on:

星期三, 六月 9, 2021

Quality management, Software engineering, Software testing, Program analysis, Theoretical computer science, Academic disciplines, Quality assurance, Software review, Static program analysis, Formal methods, Application security

The new Zero Bug AST leverages the TrustInSoft Analyzer to automate the power of Formal Methods testing, bringing the benefits to static and dynamic C/C++ source code analysis.

Key Points:

The new Zero Bug AST leverages the TrustInSoft Analyzer to automate the power of Formal Methods testing, bringing the benefits to static and dynamic C/C++ source code analysis.
TrustInSoft Analyzer democratizes Formal Methods by making its advanced testing processes available to any developer at an affordable cost.
"Our new Zero Bug Application Security Test automates the power of Formal Methods for customers to save bug detection time by 40X, decrease code verification time by 4X, and avoid disastrous real world problems."
The TrustInSoft Analyzer is a hybrid static and dynamic code analyzer that automates Formal Methods to mathematically guarantee C/C++ code quality, security and safety.

TrustInSoft Offers Free Application Security Testing Program for Google Summer of Code Projects

Retrieved on:

星期三, 六月 9, 2021

Software testing, Software engineering, Quality management, Computer security software, Unit testing, Software review, Abstract interpretation, Parasoft, Veracode, Static program analysis, Application security, Formal methods

This AST for Googlers is based on TrustInSoft's Analyzer to provide static code analysis of C/C++ source code using Formal Methods testing to guarantee bug free code.

Key Points:

This AST for Googlers is based on TrustInSoft's Analyzer to provide static code analysis of C/C++ source code using Formal Methods testing to guarantee bug free code.
"This exclusive offer helps students guarantee the quality and security of their Google Summer of Code projects by using Formal Methods to trust the math and focus on winning."
To register for TrustInSoft's Google Summer of Code Application Security Test, visit: https://trust-in-soft.com/googles-summer-of-code-with-trustinsoft/
TrustInSoft participates in the Application Security Testing market alongside vendors such as Mathworks, Parasoft, Synopsis and Veracode.
The TrustInSoft Analyzer is a hybrid static and dynamic code analyzer that automates Formal Methods to mathematically guarantee C/C++ code quality, security and safety.

SmartDV Announces Support for ARINC Standards with Design and Verification IP

Digital electronics, Electronic engineering, Electronic design automation, Formal methods, Systems engineering, Post-silicon validation, Logic simulation, Formal verification, Verification, Cadence Design Systems, Synopsys

SAN JOSE, Calif., June 03, 2021 (GLOBE NEWSWIRE) -- SmartDV Technologies , the leader in Design and Verification Intellectual Property (IP), today announced support of the ARINC standards with its Design and Verification IP.

Key Points:

SAN JOSE, Calif., June 03, 2021 (GLOBE NEWSWIRE) -- SmartDV Technologies , the leader in Design and Verification Intellectual Property (IP), today announced support of the ARINC standards with its Design and Verification IP.
Engineers designing avionics equipment without exception require high-quality Design and Verification IP, notes Deepak Kumar Tala, managing director of SmartDV.
The Verification IP is compatible with all verification languages, platforms and methodologies supporting all simulation, emulation and formal verification tools used in a coverage-driven chip design verification flow.
With more than 600 products in its portfolio, SmartDV covers the design flow with Design IP and Verification IP for use in simulation, emulation, formal and post-silicon validation and memory modeling.

Axiomise Unveils Formal Verification 101 Training Program

Retrieved on:

星期二, 四月 6, 2021

Academic disciplines, Theoretical computer science, Formal methods, Pharmaceutical industry, Validity, Systems engineering, Software engineering, Articles, Formal verification, Verification, Software verification and validation, Validation

LONDON, April 06, 2021 (GLOBE NEWSWIRE) -- Axiomise , the leading provider of cutting-edge formal verification consulting, training, services, and IP, today unveiled a comprehensive introductory certification-based formal verification training program to further the adoption of formal for hardware verification and validation.

Key Points:

LONDON, April 06, 2021 (GLOBE NEWSWIRE) -- Axiomise , the leading provider of cutting-edge formal verification consulting, training, services, and IP, today unveiled a comprehensive introductory certification-based formal verification training program to further the adoption of formal for hardware verification and validation.
The continuing education training program has been field tested and constructed to lead a novice toward becoming a production-grade verification engineer.
Axiomise is dedicated to furthering adoption of formal verification through its unique combination of training, consulting, services and specialized verification solutions for RISC-V.
Founded by Dr. Ashish Darbari, a 20-year passionate driver for formal methods adoption, it offers cutting-edge, formal verification training, consulting and services.

Giskard Consensus Protocol Serves PlatON with Its Extremely High Security and Stability

Retrieved on:

星期四, 四月 1, 2021

Formal methods, Logic in computer science, Verification, Runtime verification, Cryptographic protocol

SINGAPORE, April 1, 2021 /PRNewswire/ -- The security and stability of the PlatON Giskard Consensus Protocol has been verified by Runtime Academic Level.

Key Points:

SINGAPORE, April 1, 2021 /PRNewswire/ -- The security and stability of the PlatON Giskard Consensus Protocol has been verified by Runtime Academic Level.
Runtime Verification has verified the security of PlatON Giskard Consensus Protocol through COQ certification assistant verification.
According to the technical report released by Runtime Verification, the Giskard Consensus Protocol has demonstrated extremely high security and stability during the verification, laying a strong foundation for the good operation of the PlatON system.
Two parties, according to the requirements of extremely fine particle size, carried out "high pressure" verification to the Giskard consensus.

Customer-Focused Product Innovation Leads to Record 2020 for Intland Software

Retrieved on:

星期三, 三月 31, 2021

Formal methods, Academic disciplines, Verification, Formal verification, Validation, UX, Articles, Business process

"We are proud to report that Intland Software, as a privately owned company, once again comfortably exceeded the 'rule of 40' in 2020 for the third consecutive year,"reported Intland Software's CFO Szabolcs Koppany.

Key Points:

"We are proud to report that Intland Software, as a privately owned company, once again comfortably exceeded the 'rule of 40' in 2020 for the third consecutive year,"reported Intland Software's CFO Szabolcs Koppany.
By reorganizing our teams quickly in reaction to the pandemic, we were able to continue our market-driven product innovation and release a new cloud-focused product calledcodebeamer X.
The company's solutions for automated verification, validation, and auditing provide valuable capabilities to mitigate risks in modern product innovation.
A modern UI/UX, out-of-the-box industry templates, and a free tool integration package make codebeamer X an essential platform for digital product developers.