Parallel program design: a foundation
Parallel program design: a foundation
Behavioural theories and the proof of behavioural properties
ALP Proceedings of the fourth international conference on Algebraic and logic programming
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Theoretical Computer Science
Security Engineering: A Guide to Building Dependable Distributed Systems
Security Engineering: A Guide to Building Dependable Distributed Systems
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Specifying and verifying a railroad crossing with CafeOBJ
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Formal Verification of the Horn-Preneel Micropayment Protocol
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Component-Based Algebraic Specification and Verification in CafeOBJ
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Automatically proving the correctness of compiler optimizations
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Distributed cooperative formal methods tools
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Web-based Multimedia Support for Distributed Cooperative Software Engineering*
MSE '00 Proceedings of the 2000 International Conference on Microelectronic Systems Education
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
Proceedings of the 16th IEEE international conference on Automated software engineering
Behavioral Verification of Distributed Concurrent Systems with BOBJ
QSIC '03 Proceedings of the Third International Conference on Quality Software
We Present a Complete Study Involving in the One Hand
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal analysis of the iKP electronic payment protocols
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
CafeOBJ as a tool for behavioral system verification
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Principles of proof scores in CafeOBJ
Theoretical Computer Science
On the algebraic semantics of reactive rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for verifying design, in that they achieve a balance in which the respective capabilities of humans and machines are utilized optimally.