37 search results - page 8 / 8 » BDD-based decision procedures for the modal logic K |
ICCAD
1996
IEEE
13 years 9 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
SACMAT
2003
ACM
13 years 10 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...