[SERVER-43601] TLA+ Trace Checker paper: "Analysis" section Created: 24/Sep/19  Updated: 16/Jan/20  Resolved: 16/Jan/20

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: None

Type: New Feature Priority: Major - P3
Reporter: A. Jesse Jiryu Davis Assignee: A. Jesse Jiryu Davis
Resolution: Duplicate Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Duplicate
duplicates SERVER-43600 TLA+ Trace Checker paper: "Model-base... Closed
Participants:

 Description   

From "How to Write a Technical Paper: Structure and Style of the Epitome of your Research":

Analysis can be of two types: qualitative and quantitative.
The former means to show some properties (qualities)
of your solution, while the latter means to show some
performance aspects of your solution.
Qualitative analysis is usually proof of correctness,
however it could be proof that the solution possesses some
desired property. For algorithms or protocols, a proof of
correctness is always welcome.
Quantitative analysis is mostly performance analysis.
It is important to explain what performance metric you
use and why you have selected the specific metric. Choosing a metric that has been widely used will make the
comparison to other solutions easier.

Let's include any numbers we can measure: number of test runs, computing hours spent testing, number of states encountered and what percentage of the theoretical state space that is, lines of spec code, lines of implementation code in MongoDB.



 Comments   
Comment by A. Jesse Jiryu Davis [ 16/Jan/20 ]

Rearranging this paper, there will no longer be a separate "Analysis" section

Generated at Thu Feb 08 05:03:35 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.