Formal Verification

Formal-methods tools: proof assistants, model checking, symbolic execution, etc.

Newest releases

Library to validate username, email and passwords

User Validator Library to validate username, email and passwords. Java library to validate typical user fields. Useful for validation when registering new users or logging in. #Show me the code!!! First, instance the

Categories

Java 2402

Bean Mapping16 Build38 Bytecode Manipulation7 Caching10 CLI22 Cluster Management3 CMS14 Code Analysis17 Code Coverage1 Compiler-compiler7 Configuration5 CSV2 Data Structures23 Database181 Date and Time9 Dependency Injection7 Distributed Applications71 Document Processing9 Formal Verification1 Functional Programming2 Game Development61 Geospatial10 GUI158 High Performance10 IDE5 Imagery36 JSON19 JVM9 Logging17 Machine Learning138 Messaging37 Microservice12 Miscellaneous1773 Monitoring19 Natural Language Processing5 Networking79 ORM30 PDF12 Performance analysis14 REST Frameworks33 Science9 Search59 Security102 Serialization18 Server20 Template Engine6 Testing79 Utility134 Web Crawling13 Web Frameworks224 Workflow Engines2