Mapping software: Are we nearing standardization?
Annals of Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Detecting Termination of Active Database Rules Using Symbolic Model Checking
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Model Checking Abstract State Machines with Answer Set Programming
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Experience applying the SPIN model checker to an industrial telecommunications system
Proceedings of the 30th international conference on Software engineering
Deductive Runtime Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated verification of security pattern compositions
Information and Software Technology
Proving temporal properties of Z specifications using abstraction
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Secure transaction protocol analysis: models and applications
Secure transaction protocol analysis: models and applications
Counter example-based error localization of behavior models
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Model Checking Abstract State Machines with Answer Set Programming
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
| Hi-index | 0.00 |