Model checking and abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
BDD variable ordering for interacting finite state machines
DAC '94 Proceedings of the 31st annual Design Automation Conference
Automatic compositional minimization in CTL model checking
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
An automata-theoretic approach to modular model checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient Detection of Vacuity in Temporal Model Checking
Formal Methods in System Design - Special issue on CAV '97
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Modular verification of collaboration-based software designs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs
IEEE Transactions on Software Engineering - Special section on the seventh international software metrics symposium
Formula-Dependent Equivalence for Compositional CTL Model Checking
Formal Methods in System Design
Verification of timed automata based on similarity
Fundamenta Informaticae
Bounded model checking for the universal fragment of CTL
Fundamenta Informaticae
The Influence of Software Module Systems on Modular Verification
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
A Simulation Preorder for Abstraction of Reactive Systems
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Towards Bounded Model Checking for the Universal Fragment of TCTL
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Automated Verification of Infinite State Concurrent Systems
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
Formal Methods in System Design
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Specification and verification of inter-component constraints in CTL
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
ACTLS properties and Bounded Model Checking
Fundamenta Informaticae
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning
Formal Methods in System Design
Assume-Guarantee Verification for Interface Automata
FM '08 Proceedings of the 15th international symposium on Formal Methods
CTL-Property Transformations Along an Incremental Design Process
Electronic Notes in Theoretical Computer Science (ENTCS)
Finding environment guarantees
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Refining interface alphabets for compositional verification
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Learning assumptions for compositional verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Constructing open systems via consistent components
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
ACTLS properties and Bounded Model Checking
Fundamenta Informaticae
Verification of Timed Automata Based on Similarity
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Bounded Model Checking for the Universal Fragment of CTL
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Improving Partial Order Reductions for Universal Branching Time Properties
Fundamenta Informaticae
From model checking to model measuring
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
| Hi-index | 0.00 |