-
Notifications
You must be signed in to change notification settings - Fork 344
JPF Workshop 2017 Organizers
Alexander Kohan edited this page Feb 2, 2023
·
2 revisions
- Nastaran Shafiei, NASA Ames Research Center
- Darko Marinov, University of Illinois at Urbana-Champaign
- Franck Breugel, York University
- Marcelo d'Amorim, Informatics Center, UFPE
- Milos Gligoric, University of Texas at Austin
- Falk Howar, Clausthal University of Technology
- Kasper Luckow, Carnegie Mellon University
- Pavel Parizek, Charles University
- Corina Pasareanu, CMU/NASA Ames
- John Penix, Google
- Elena Sherman, Boise State University
- Oksana Tkachuk, Amazon Web Services
- Willem Visser, Stellenbosch University
- Guowei Yang, Texas State University
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