Analytic Verification of Flight Software
IEEE Intelligent Systems
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
A Model Checking Algorithm for Multiagent Systems
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Systematic Formal Verification of Interpreters
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Automated deduction for verification
ACM Computing Surveys (CSUR)
Bounded model checking of software using SMT solvers instead of SAT solvers
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Finding Symmetries of Algebraic System Nets
Fundamenta Informaticae
Hi-index | 0.00 |