141
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
136
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
137
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...