Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Three logics for branching bisimulation
Journal of the ACM (JACM)
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compositional verification by model checking for counter-examples
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
Verification of Erlang programs using abstract interpretation and model checking
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Local model checking for context-free processes
Nordic Journal of Computing
Information processing and technology
Proving testing preorders for process algebra descriptions
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Retrieving information from data flow diagrams
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
An integrated environment for HDL verification
IVC '95 Proceedings of the 4th IEEE International Verilog HDL Conference
Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
Information Processing Letters
Generating BDDs for symbolic model checking in CCS
Distributed Computing
| Hi-index | 0.00 |