Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
IEEE Transactions on Software Engineering
Software model checking in practice: an industrial case study
Proceedings of the 24th International Conference on Software Engineering
Protocol Validation for Large-Scale Applications
IEEE Software
Embedding a Dialect of SDL in PROMELA
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Synchronous Closing of Timed SDL Systems for Model Checking
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
A Transformation of SDL Specifications - A Step towards the Verification
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Verifying Large SDL-Specifications Using Model Checking
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Closing Open SDL-Systems for Model Checking with DTSpin
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
A pattern-based development methodology for communication protocols
Proceedings of the 2005 ACM symposium on Applied computing
Software Model Checking: The VeriSoft Approach
Formal Methods in System Design
Automated generation of Promela model from SDL specification
Computer Standards & Interfaces
Sdl2pml - Tool for automated generation of Promela model from SDL specification
Computer Standards & Interfaces
Validation Coverage for a Component-based SDL model of a Railway Signaling System
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic formal model generation and analysis of SDL
SDL'03 Proceedings of the 11th international conference on System design
Hi-index | 0.00 |