Automatic Deductive Verification with Invisible Invariants
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Parameterized Verification with Automatically Computed Inductive Assertions
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
An automatic abstraction technique for verifying featured, parameterised systems
Theoretical Computer Science
Parameterized verification by probabilistic abstraction
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
An invariant-based approach to the verification of asynchronous parameterized networks
Journal of Symbolic Computation
Reasoning about safety and progress using contracts
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Model checking and abstraction to the aid of parameterized systems (a survey)
Computer Languages, Systems and Structures
Hi-index | 0.00 |