Dunuen: A user-friendly formal verification tool