Correctness of Pipelined Machines
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Proof-Checking Protocols Using Bisimulations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
A complete compositional reasoning framework for the efficient verification of pipelined machines
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement for Pipelining in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
The Challenge of Hardware-Software Co-verification
Verified Software: Theories, Tools, Experiments
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A refinement-based compositional reasoning framework for pipelined machine verification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
On reduction criteria for probabilistic reward models
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
A categorical approach to simulations
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Refinement and theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Simulation-Based graph similarity
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Specification and Verification of Concurrent Programs Through Refinements
Journal of Automated Reasoning
Hi-index | 0.00 |