QEMU4V ("QEMU for Verification") is an open source emulator for assembler programs that is based on QEMU project. The tool performs emulation for programs of several hardware architectures and provides some features (tracing, etc.) for system verification of microprocessors.
QEMU4V 0.3.6 released
QEMU4V 0.3.6 has been released.
QEMU4V 0.3.5 released
QEMU4V 0.3.5 has been released.
QEMU4V 0.3.4 released
QEMU4V 0.3.4 has been released
QEMU4V 0.3.3 released
QEMU4V 0.3.3 has been released.
QEMU4V 0.3.2 released
QEMU4V 0.3.2 has been released.
Manager: Alexander Kamkin, Sergey Smolov
Developer: Alexander Protsenko, Alexander Kamkin, Artem Kotsynyak, Mikhail Chupilko, Mikhail Lebedev, Nikita Chertok
Project Creator: Alexander Kamkin, Sergey Smolov