Formal Verification
Formal-methods tools: proof assistants, model checking, symbolic execution, etc.
Java Path Finder (JPF)542
JVM formal verification tool containing a model checker and more. Created by NASA.
- GUI
- High Performance
- HTTP Clients
- Hypermedia Types
- Imagery
- Introspection
- Job Scheduling
- JSON
- JVM and JDK
- Logging
- Machine Learning
- Messaging
- Microservice
- Miscellaneous
- Monitoring
- Native
- Natural Language Processing
- Networking
- ORM
- Performance analysis
- Platform
- Processes
- Reactive libraries
- REST Frameworks
- Science
- Search
- Security
- Serialization
- Server
- Template Engine
- Testing - Asynchronous
- Testing - BDD
- Testing - Fixtures
- Testing - Frameworks
- Testing - Matchers
- Testing - Miscellaneous
- Testing - Mocking
- Utility
- Version Managers
- Web Crawling
- Web Frameworks
- Workflow Orchestration Engines
- Architecture
- Bean Mapping
- Build
- Bytecode Manipulation
- Caching
- CLI - Argument Parsing
- CLI - Text-Based User Interfaces
- Code Analysis
- Code Generators
- Computer Vision
- Configuration
- Constraint Satisfaction Problem Solver
- CSV
- Data Structures
- Database
- Date and Time
- Dependency Injection
- Development
- Distributed Applications
- Distributed Transactions
- Distribution
- Document Processing
- Financial
- Formal Verification
- Functional Programming
- Geospatial