269 results on '"Kokichi Futatsugi"'
Search Results
2. A Method for Assessing the Reliability of Business Processes that Reflects Transaction Documents Checking for each Department.
3. Stability of termination and sufficient-completeness under pushouts via amalgamation.
4. A Note on 'On the Construction of Boolean Functions with Optimal Algebraic Immunity'
5. Advances of Proof Scores in CafeOBJ.
6. Advances of proof scores in CafeOBJ.
7. Assessing Business Processes by Checking Transaction Documents for Inconsistency Risks and a Tool for Risk Assessment.
8. CafeInMaude: A CafeOBJ Interpreter in Maude.
9. A Maude environment for CafeOBJ.
10. Proving Sufficient Completeness of Constructor-Based Algebraic Specifications.
11. Formalization and Verification of Declarative Cloud Orchestration.
12. Generic Proof Scores for Generate & Check Method in CafeOBJ.
13. Generate & Check Method for Verifying Transition Systems in CafeOBJ.
14. Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates.
15. Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method.
16. Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.
17. Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs.
18. On Automation of OTS/CafeOBJ Method.
19. Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications.
20. An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms.
21. A Modelling Framework to Support Internal Control.
22. Fostering Proof Scores in CafeOBJ.
23. A Combination of Forward and Backward Reachability Analysis Methods.
24. A Generic Binary Analysis Method for Malware.
25. Initial semantics in logics with constructors.
26. Constructor-Based Institutions.
27. Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.
28. Checking assignments of controls to risks for internal control.
29. Formal digital license language with OTS/CafeOBJ method.
30. Trace anonymity in the OTS/CafeOBJ method.
31. On Equality Predicates in Algebraic Specification Languages.
32. Formal support for e-government system design with transparency consideration.
33. Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.
34. Automating Invariant Verification of Behavioral Specifications.
35. Induction-Guided Falsification.
36. Falsification of OTSs by Searches of Bounded Reachable State Spaces.
37. Verifying Specifications with Proof Scores in CafeOBJ.
38. Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.
39. Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management.
40. Proof Score Approach to Verification of Liveness Properties.
41. Formal Analysis of Workflow Systems with Security Considerations.
42. Provably Correct Translation from CafeOBJ into Java.
43. Chocolat/SMV: A Translator from CafeOBJ into SMV.
44. Equational Approach to Formal Analysis of TLS.
45. Verifying Design with Proof Scores.
46. Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers.
47. Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker.
48. A Lightweight Integration of Theorem Proving and Model Checking for System Verification.
49. Equational Approach to Formal Verification of SET.
50. Modeling and Verification of Hybrid Systems Based on Equations.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.