Iwashita is an author at Fujitsu (Japan) specializing in formal verification, formal methods, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1997–1997
1
1
Forward model checking techniques oriented to buggy designs
Rows per page
1–1 of 1