Home ยป Browse Projects

Search projects by category

10 project(s) in result set

Full name Description Trove categorization
Real-Time-Java-ProposalNSF Proposal on Real-Time Java formal methods.
  • Development Status: 1 - Planning
  • Intended Audience: Other Audience
  • License: Other/Proprietary License
  • Operating System: OS Independent
  • Spoken Language: English
  • Topic: Software Development
SAVCBS workshop web pagesWeb pages for the SAVCBS workshop web site.
  • Development Status: 5 - Production/Stable
  • Intended Audience: Other Audience
  • License: Other/Proprietary License
  • Operating System: OS Independent
  • Spoken Language: English
  • Topic: Software Development
Aspects and JML including AjmlcResearch on the use of aspect technology to do runtime checking for JML.
  • Development Status: 1 - Planning
  • Intended Audience: Developers, Other Audience
  • License: Other/Proprietary License
  • Operating System: OS Independent
  • Spoken Language: English
  • Topic: Compilers, Mathematics, Software Development
Core JMLCollaborative research on the semantics of JML using PVS
  • Development Status: 2 - Pre-Alpha
  • Intended Audience: Other Audience
  • License: OSI Approved
  • Operating System: OS Independent
  • Programming Language: Java
  • Spoken Language: English
  • Topic: Mathematics, Software Development
Yuyan Bao's workProjects of Yuyan Bao
  • Development Status: 2 - Pre-Alpha
  • Intended Audience: Other Audience
  • License: Other/Proprietary License
  • Operating System: OS Independent
  • Programming Language: Scheme
  • Spoken Language: English
  • Topic: Education, Software Development
cheng-weiJoint work with Cheng Wei
  • Development Status: 1 - Planning
  • License: Other/Proprietary License
  • Operating System: OS Independent
  • Spoken Language: English
  • Topic: Software Development
flowspecsNSF grant on information flow for Android apps
  • Development Status: 1 - Planning
  • Intended Audience: Developers
  • License: Other/Proprietary License
  • Operating System: Other
  • Programming Language: Java
  • Spoken Language: English
  • Topic: Other/Nonlisted Topic, Security, Software Development
Work with GidonIt is a shared project with Gidon.
  • Development Status: 3 - Alpha
  • Intended Audience: Developers
  • License: Apache Software License
  • Operating System: OS Independent
  • Spoken Language: English
  • Topic: Software Development
VerilyInteraction-oriented programming work
  • Development Status: 4 - Beta
  • Intended Audience: Developers
  • License: GNU General Public License (GPL)
  • Operating System: OS Independent
  • Programming Language: Java
  • Spoken Language: English
  • Topic: Software Development
Program Analysis DemosDemonstrations of tools for Program Analysis
  • Development Status: 2 - Pre-Alpha
  • Intended Audience: Developers, Other Audience
  • License: GNU Lesser General Public License (LGPL)
  • Operating System: OS Independent
  • Programming Language: Java
  • Spoken Language: English
  • Topic: Compilers, Mathematics, Software Development
 

Search for projects in all categories

 

Enter * to return all
To search for projects, please enter the criteria in the text box and press "Search" to get the results


Powered By GForge® Collaborative Development Environment