Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
An inheritance-based technique for building simulation proofs incrementally
Proceedings of the 22nd international conference on Software engineering
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Safety Patterns - The Key to Formal Specification of Safety Requirements
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Formal Modeling in a Commercial Setting: A Case Study
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Encoding Abstract State Machines in PVS
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A Formal Description of a Practical Agent for E-Commerce
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Metamodelig architectures and interoperability of web-enabled information systems
Web-enabled systems integration
Formal Methods For Developing High Assurance Computer Systems: Working Group Report
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Developing safety-critical systems: the role of formal methods and tools
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Journal of Systems and Software
FM '08 Proceedings of the 15th international symposium on Formal Methods
Semantics transformation of NFA to Z notation by constructing union of regular languages
ACS'08 Proceedings of the 8th conference on Applied computer scince
Practical application of "lightweight" Z in DEVS framework
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Managing Complexity in Software Development with Formally Based Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal verification of UML-modeled machine controls
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
| Hi-index | 0.00 |