Combining Theorem Proving and Model Checking through Symbolic Analysis.

Natarajan Shankar

Browse the full CONCUR paper archive.