Didier Pirottin

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

Collaborative distances:

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

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

State-Space Caching Revisited.

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992