Case Study: Darlington Nuclear Generating Station
IEEE Software
An approach to the formal verification of cryptographic protocols
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Refinement of Z specifications using reusable software components in Ada
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Action Systems for Security Specification
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Executable assertions and timed traces for on-line software error detection
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Rialto to B: an exercise in formal development of a language for multiple models of computation
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Development of Fault-Tolerant Software Systems Based on Architectural Abstractions
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Architecting fault tolerance with exception handling: verification and validation
Journal of Computer Science and Technology
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Electronic Notes in Theoretical Computer Science (ENTCS)
A unified framework and a transparent name-space for the Coq module system
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
Testing and verifying invariant based programs in the SOCOS environment
TAP'07 Proceedings of the 1st international conference on Tests and proofs
An overview of the Jahob analysis system: project goals and current status
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A framework for incremental modelling and verification of on-chip protocols
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
| Hi-index | 0.00 |