Partial Instantiation Methods for Inference in First-Order Logic
Journal of Automated Reasoning
Complexity Issues in the Davis and Putnam Scheme
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Modular verification of software components in C
Proceedings of the 25th International Conference on Software Engineering
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Model-based Runtime Verification Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based Runtime Verification Framework for Self-optimizing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
Increasing dependability by means of model-based acceptance test inside RTOS
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Comprehensive verification framework for dependability of self-optimizing systems
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
| Hi-index | 0.00 |