TBFVV: Testing-Based Formal Validation and Verification
Release time:2026-09-04 Hits:
Journal:accepted by ICFEM 2026
Indexed by:Essay collection
Translation or Not:no
Co-author:Ai Liu,Yang 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 ICFEM 2026
Indexed by:Essay collection
Translation or Not:no
Co-author:Ai Liu,Yang 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