lobster-cove.com
Computer Associations
http://www.lobster-cove.com/jps-www/ComputerAssociations.html
Association of Computing Machinery (ACM). International Organization for Standardization (ISO). Open Software Foundation, Inc. A non-profit computer science research institute. Transaction Processing Performance Council. Technical Support Alliance Network. 24 May, 1995.
specware.org
Specware - Ordering Info
http://www.specware.org/order.html
We anticipate that Specware will soon be released as an open source project. Currently the options for obtaining it are the following:. Specware is available to selected government, and commercial research partners. If you are interested in evaluating or licensing Specware for research or commercial purposes, please contact us at licensing@kestrel.edu.
kestreltechnology.com
Kestrel Technology NASA Projects
http://kestreltechnology.com/nasa.html
Formal Assurance Certifiable Tooling Strategy. FACTS is a NASA-sponsored project to investigate issues surrounding the qualification of formal methods tools under RTCA DO-330, as part of a larger certification of flight-critical airborne software. We began the project with a study of the theoretical soundness issues that attend three the classes of formal methods tools: static analyzers (with Kestrel Technology’s CodeHawk abstract interpretation technology. Use of dissimilar tools to evaluate a common co...
kestreltechnology.com
Kestrel Technology DHS Projects
http://kestreltechnology.com/dhs.html
Our STARLITE (Static Analysis Architecture and Lifecycle Implementation, Test and Evaluation) project is a DHS-sponsored R&D activity under its Static Tool Analysis Modernization Project (STAMP), aimed at modernizing some of the open source tools already available to support the verification side of the software development lifecycle. The project started in September 2016. DHS S&T Cyber Security Division (CSD). Static Tool Analysis Modernization Project. Aspect Security, Inc. In terms of both false negat...
kestreltechnology.com
Kestrel Technology DARPA Projects
http://kestreltechnology.com/darpa.html
Our CircuitBot project explored the idea of using a deep supply of game players available on the Internet to solve - indirectly - difficult verification problems. The project was sponsored by DARPA I2O under its Crowd Source Formal Verification (CSFV) program. DARPA Press Release 12/4/2013. Defense Advanced Research Projects Agency. Left Brain Games, Inc. Mining and Understanding Software Enclaves (MUSE). The MUSE program as follows:. Defense Advanced Research Projects Agency. The STAC program as follows:.
kestreltechnology.com
Kestrel Technology Projects
http://kestreltechnology.com/projects.html
DARPA Space/Time Analysis for Cybersecurity. Our work in the DARPA STAC program involves applying static analysis techniques to the problem of identifying the algorithmic complexity of programs represented by Java byte code. DARPA Mining and Understanding Software Enclaves. For our project under the DARPA MUSE program we use static analysis to extract program semantic features for machine learning. DARPA SBIR Direct to Phase II. AFRL Software Producibility Initiative. Together with our teammate. NASA Sys...
kestreltechnology.com
About Kestrel Technology
http://kestreltechnology.com/about.html
About Us, About You. In either software verification or reverse engineering it seems as though there is never enough time. You want tools that you can use right away, with a shallow learning curve, and that provide clear results. In short, you want tools that don't waste your time. What distinguishes our static analysis delivery is our engineering achievement with. Any sufficiently advanced technology is indistinguishable from magic. Our static analysis tool offerings might be summarized as shown here...
kestreltechnology.com
Kestrel Technology IARPA Projects
http://kestreltechnology.com/iarpa.html
Our VIBRANCE (Vulnerabilities in Bytecode Removed by Analysis with Nuanced Confinement and Diversification) project was an IARPA-sponsored R&D activity under its STONESOUP (Securely Taking On New Executable Software of Uncertain Provenance) program. Intelligence Advanced Research Projects Activity. As a follow-on to our STONESOUP work, we pursued a special topic we called the. Intelligence Advanced Research Projects Activity. Learn more about the company's technology and motivating pursuits.
kestreltechnology.com
Kestrel Technology Partners
http://kestreltechnology.com/partners.html
Memory safety analyzer for C is ideally suited to provide verification support for embedded systems. Integrated with the Wind River Workbench and VxWorks development tool chains and leveraging API information from the toolkit libraries, application developers can use KT Advance to harden their real-time and safety-critical application software for memory safety. Learn more about Wind River by following the social media links below. Want to see more?
nuprl.org
World wide associates of the PRL Project
http://www.nuprl.org/Intro/others.html
Skip to main content. Over the past two decades, this project and our worldwide associates in projects around systems like ACL2. Have created a new field which we call here Formalized Mathematics. We have become devoted to its growth and applications. This has led to the goal of supporting a Common Mathematics Library. And the goal of enabling cooperation among theorem proving systems. We are building on the work. Of Howe which has combined HOL and Nuprl. Automatic Guidance of Program Synthesis Proofs.
