ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Model Checking on Product Structures
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Combining Theorem Proving and Model Checking through Symbolic Analysis
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Reachability Analysis for Some Models of Infinite-State Transition Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Making Abstract Model Checking Strongly Preserving
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Model Checking with Formula-Dependent Abstract Models
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Construction of Finite Labelled Transistion Systems from B Abstract Systems
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Handbook of automated reasoning
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Distributed Computing - Special issue: Verification of lazy caching
PLTL-partitioned model checking for reactive systems under fairness assumptions
ACM Transactions on Embedded Computing Systems (TECS)
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Partitioned PLTL model-checking for refined transition systems
Information and Computation
Model Checking Multithreaded Programs by Means of Reduced Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Smaller abstractions for ∀CTL* without next
Concurrency, Compositionality, and Correctness
Model checking systems and specifications with parameterized atomic propositions
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Hi-index | 0.00 |