Masashi Asuka

According to our database, Masashi Asuka authored at least 3 papers between 1998 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Discharging Proof Obligations from Atelier B Using Multiple Automated Provers.

David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

1998

Applying SOFL to Specify A Railway Crossing Controller for Industry.

Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.

Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998