software Archives

Cameleer: A deductive verification tool for OCaml

Written by

Dr Mário Pereira and collaborators have developed a formal verification software for OCaml-written code, called the Cameleer tool

From social networking to space exploration, software is the mainstay that keeps our world operating. But how do we know that we can trust software? Dr Mário Pereira from the Nova School of Science and Technology, Lisbon, and his collaborators have developed Cameleer, a formal verification software tool for OCaml-written code that establishes mathematical proof that a system works according […]

ThreatSCOPE: Addressing software vulnerability in embedded systems

Written by

The team at cyber-security firm BlueRISC Inc., is led by Dr Csaba Andras Moritz, Founder and Chairman of BlueRISC Inc. and Professor of Electrical and Computer Engineering at the University of Massachusetts Amherst. They have developed ThreatSCOPE, a system assurance tool that analyses and mitigates software vulnerabilities and cyber threats in embedded systems. ThreatSCOPE uses BlueRISC’s patented ImmuneSoft technology to […]

Digital Science: A more collaborative approach to research

Written by

Digital Science provides tools for a more collaborative research process.

Digital Science is a company that looks to improve old research practices with new tools and technologies. CEO Daniel Hook believes that investing in, supporting and promoting businesses and innovations that make the research process more open and efficient is the key to enabling researchers to make a real difference. Is it possible that in the future we might see […]