Communicating sequential processes
Communicating sequential processes
The capability maturity model: guidelines for improving the software process
The capability maturity model: guidelines for improving the software process
Software—Practice & Experience
Interactive Visualization of State Transition Systems
IEEE Transactions on Visualization and Computer Graphics
µCRL: A Toolset for Analysing Algebraic Specifications
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
MultiArray: a C++ library for generic programming with arrays
Software—Practice & Experience - Research Articles
Model-checking processes with data
Science of Computer Programming
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parameterised boolean equation systems
Theoretical Computer Science - Formal methods for components and objects
Static validation of security protocols
Journal of Computer Security
Concepts: linguistic support for generic programming in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Instantiation for Parameterised Boolean Equation Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
Verified design of an automated parking garage
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Analysis of a session-layer protocol in MCRL2: verification of a real-life industrial implementation
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Using Model Checking to Analyze the System Behavior of the LHC Production Grid
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Using model checking to analyze the system behavior of the LHC production grid
Future Generation Computer Systems
Hi-index | 0.00 |
This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee for the coming years of development in formal methods tool support. Copyright © 2010 John Wiley & Sons, Ltd.