Kit: A Study in Operating System Verification
IEEE Transactions on Software Engineering
Refinement and state machine abstraction
Theoretical Computer Science
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
Checking Z Data Refinements Using an Animation Tool
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Single Complete Refinement Rule for Demonic Specifications
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Forward Simulation for Data Refinement of Classes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Theoretical Computer Science
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Data Refinement with Probability in Mind
Electronic Notes in Theoretical Computer Science (ENTCS)
Using the Alloy Analyzer to Verify Data Refinement in Z
Electronic Notes in Theoretical Computer Science (ENTCS)
An analysis of forward simulation data refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Maintaining information flow security under refinement and transformation
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Abstraction for concurrent objects
Theoretical Computer Science
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
On refinement of software architectures
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Quantitative refinement and model checking for the analysis of probabilistic systems
FM'06 Proceedings of the 14th international conference on Formal Methods
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Information flow in systems with schedulers, Part II: Refinement
Theoretical Computer Science
A programming language perspective on transactional memory consistency
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Hi-index | 0.90 |