TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
Release time:2025-04-15 Hits:
Journal:accepted by ISSTA 2025 demo
Indexed by:Essay collection
Translation or Not:no
Co-author:Yang Liu,Shaoying Liu
Ai Liu, an associate professor at College of Computer Science and Technology of Nanjing University of Aeronautics and Astronautics, received the Ph.D in Applied Mathematics from Peking University, ...more+
Journal:accepted by ISSTA 2025 demo
Indexed by:Essay collection
Translation or Not:no
Co-author:Yang Liu,Shaoying Liu
Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)
Click：| The Last Update Time:--| The Last Update Time:-- |MOBILE Version