It seems you are looking for a tool, that verifies the normalization. There is no such tool (at least I can't think of any since it would be almost impossible do write checks for the noralization).
If you want to see if your schema verifies, use simple logic by observing it. If you are not sure, look at the examples in WIkipedia for 1NF, 2NF and 3NF. Does your model have the same structure as these examples? If yes, than you adhere to normalization.
Your model may look like this (showing only PKs and FKs and example)
flight
-------------------
flight_id (PK)
destination
[....]
passengers
-----------------
passenger_id
surname
lastname
nr_of_seats
[....]
payment
--------------------
payment_id
date
price
[....]
-- Your join table, that lets you connect all the data. I assume that the a passenger may book a flight more than once, so I join them together with a certain flight and payment.
reservation
----------------------
flight_id
passenger_id
payment_id
[....]
If you want tools to visuallize your database, pick one from the list that applies to your DBMS. It lets you check how your entities are connected together.