ANS is committed to advancing, fostering, and promoting the development and application of nuclear sciences and technologies to benefit society.
Explore the many uses for nuclear science and its impact on energy, the environment, healthcare, food, and more.
Explore membership for yourself or for your organization.
Conference Spotlight
Nuclear Energy Conference & Expo (NECX)
September 8–11, 2025
Atlanta, GA|Atlanta Marriott Marquis
Standards Program
The Standards Committee is responsible for the development and maintenance of voluntary consensus standards that address the design, analysis, and operation of components, systems, and facilities related to the application of nuclear science and technology. Find out What’s New, check out the Standards Store, or Get Involved today!
Latest Magazine Issues
Aug 2025
Jan 2025
Latest Journal Issues
Nuclear Science and Engineering
September 2025
Nuclear Technology
August 2025
Fusion Science and Technology
Latest News
Chris Wagner: The role of Eden Radioisotopes in the future of nuclear medicine
Chris Wagner has more than 40 years of experience in nuclear medicine, beginning as a clinical practitioner before moving into leadership roles at companies like Mallinckrodt (now Curium) and Nordion. His knowledge of both the clinical and the manufacturing sides of nuclear medicine laid the groundwork for helping to found Eden Radioisotopes, a start-up venture that intends to make diagnostic and therapeutic raw material medical isotopes like molybdenum-99 and lutetium-177.
Akira Fukumoto, Toshifumi Hayashi, Akihiko Ohsuga, Shinichi Honiden, Nobuyuki Mori
Nuclear Technology | Volume 124 | Number 3 | December 1998 | Pages 255-264
Technical Paper | Reactor Operations and Control | doi.org/10.13182/NT98-A2924
Articles are hosted by Taylor and Francis Online.
A formal verification method using an algebraic specification technique is proposed, and its effectiveness is studied. A computerized automatic verification system, which utilizes an algebraic specification to describe system requirements and to prove an inductive theorem based on a term-rewriting technique for verification, is built and evaluated through experimentally verifying the logic design of a digital reactor protection system in boiling water reactors. The results show that the proposed method can mathematically correctly verify the logic design in a limited time, thereby improving accuracy and reducing person-hours for the verification.