Implementation of Propositional Temporal Logics Using BDDs

Authors:
G. L. J. M. Janssen
Affiliations:
-
Venue:
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
1998

Citing 3
Cited 0

Efficient implementation of a BDD package

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Symbolic Model Checking

Symbolic Model Checking
Another Look at LTL Model Checking

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract