Structured Object-Oriented Formal Language and Method
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice
-
Altmetric BadgeChapter 2 Theory of Test Modeling Based on Regular Expressions
-
Altmetric BadgeChapter 3 Integrating Separation Logic with PPTL
-
Altmetric BadgeChapter 4 Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking
-
Altmetric BadgeChapter 5 Formalizing and Implementing Types in MSVL
-
Altmetric BadgeChapter 6 Present-Future Form of Linear Time $$\mu $$ -Calculus
-
Altmetric BadgeChapter 7 Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling
-
Altmetric BadgeChapter 8 A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios
-
Altmetric BadgeChapter 9 SOFL Specification Animation with Tool Support
-
Altmetric BadgeChapter 10 An Approach to Declaring Data Types for Formal Specifications
-
Altmetric BadgeChapter 11 Detection Method of the Second-Order SQL Injection in Web Applications
-
Altmetric BadgeChapter 12 Applying SOFL to Constructing a Smart Traffic Light Specification
-
Altmetric BadgeChapter 13 Checking Internal Consistency of SOFL Specification: A Hybrid Approach