Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
Model-based analysis of configuration vulnerabilities
Journal of Computer Security
Efficient on-the-fly model-checking for regular alternation-free mu-calculus
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
C Wolf - A Toolset for Extracting Models from C Programs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Synchronous and Bidirectional Component Interfaces
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
An Improvement of Software Architecture Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
A NuSMV extension for Graded-CTL model checking
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
A symbolic model checker for tccp programs
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |