Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.

Radha Jagadeesan Gopalan Nadathur Vijay A. Saraswat

Published in: FSTTCS (2005)

Keyphrases

concurrent systems
intuitionistic logic
temporal logic
distributed systems
process algebra
model checking
formal specification
linear logic
model checker
classical logic
high level
test cases
petri net
artificial intelligence
reverse engineering