Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
IEEE Software
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Eternity Variables to Simulate Specifications
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Segregation with Communication
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Eternity variables to prove simulation of specifications
ACM Transactions on Computational Logic (TOCL)
Test case generation from formal models through abstraction refinement and model checking
Proceedings of the 3rd international workshop on Advances in model-based testing
Rigorous engineering of product-line requirements: A case study in failure management
Information and Software Technology
Universal extensions to simulate specifications
Information and Computation
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying Michael and Scott's lock-free queue algorithm using trace reduction
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Abstraction for Concurrent Objects
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Relational Concurrent Refinement: Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Guarded Operations, Refinement and Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Verifying Concurrent Data Structures by Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Emergent Properties Do Not Refine
Electronic Notes in Theoretical Computer Science (ENTCS)
Breaking the Model: Finalisation and a Taxonomy of Security Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing functional requirements using B model specifications
ACM SIGSOFT Software Engineering Notes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
An analysis of forward simulation data refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Introducing backward refinement into B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Towards feature-oriented specification and development with event-B
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
A refinement method for Java programs
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Refinement of models of software components
Proceedings of the 2010 ACM Symposium on Applied Computing
On hierarchically developing reactive systems
Information and Computation
Incompleteness of relational simulations in the blocking paradigm
Science of Computer Programming
Abstraction and refinement for local reasoning
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Simulation refinement for concurrency verification
Science of Computer Programming
Relational concurrent refinement: timed refinement
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Developing provable secure m-commerce applications
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Data refinement with low-level pointer operations
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Automatic refinement checking for b
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Matelas: a predicate calculus common formal definition for social networking
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
The challenge of probabilistic event B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Refinement and separation contexts
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
The mondex challenge: machine checked proofs for an electronic purse
FM'06 Proceedings of the 14th international conference on Formal Methods
Pointfree factorization of operation refinement
FM'06 Proceedings of the 14th international conference on Formal Methods
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Mechanical Analysis of Finite Idempotent Relations
Fundamenta Informaticae
Validation of formal models by refinement animation
Science of Computer Programming
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
A programming language perspective on transactional memory consistency
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Data refinement in Isabelle/HOL
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Set-theoretic models of computations
Theories of Programming and Formal Methods
Hi-index | 0.00 |