Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Integration of formal analysis into a model-based software development process
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
FITE: future integrated testing environment
Proceedings of the FSE/SDP workshop on Future of software engineering research
Incorporating UML class and activity constructs into UEML
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Model checking: cleared for take off
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Polyglot: modeling and analysis for multiple Statechart formalisms
Proceedings of the 2011 International Symposium on Software Testing and Analysis
An approach to formal verification of embedded software
Proceedings of the 15th WSEAS international conference on Computers
Formal analysis of a triplex sensor voter in an industrial context
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
New challenges in certification for aircraft software
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
On the adoption of model checking in safety-related software industry
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
The guardol language and verification system
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Lessons learnt from the adoption of formal model-based development
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
A DSL for cross-domain security
Proceedings of the 2012 ACM conference on High integrity language technology
Parallel NuSMV: a NuSMV extension for the verification of complex embedded systems
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Verifying programs via iterated specialization
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Formal methods in the aerospace industry: follow the money
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
International Journal of Embedded and Real-Time Communication Systems
Science of Computer Programming
Aviation safety: modeling and analyzing complex interactions between humans and automated systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Up and out: scaling formal analysis using model-based development and architecture modeling
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 48.22 |
A translator framework enables the use of model checking in complex avionics systems and other industrial settings.