Didier Pirottin

According to our database, Didier Pirottin authored at least 3 papers between 1992 and 1995.

Collaborative distances:

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

1995

State-Space Caching Revisited.

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin

Formal Methods Syst. Des., 1995

1993

Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract).

Patrice Godefroid, Didier Pirottin

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Coverage Preserving Reduction Strategies for Reachability Analysis.

Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin

Proceedings of the Protocol Specification, 1992