-
Notifications
You must be signed in to change notification settings - Fork 337
NetBeans Plugin
Alexander Kohan edited this page Feb 2, 2023
·
6 revisions
- Download and install jpf-core
- -------------- take a break ---------------
- Download the
gov-nasa-jpf-netbeans-runjpf.nbmfile from here. - From within Netbeans go to Tools->Plugins (Alt+T followed by Alt+g)
- Select the Downloaded tab
- Click on Add Plugins... (Alt+A)
- Select the
gov-nasa-jpf-netbeans-runjpf.nbmfile that was downloaded in step 3 - Select install
- Agree to the License agreement
- Restart Netbeans
Please contact us by creating an issue. We are trying to fix the process below, which no longer works.
-
How to obtain and install JPF
- System requirements
- Downloading
- Creating a site properties file
- Building, testing, and running
- JPF plugins
-
Developer guide
- Top-level design
- Key mechanisms
- Extension mechanisms
- Common utilities
- Running JPF from within your application
- Writing JPF tests
- Coding conventions
- Hosting an Eclipse plugin update site