GitHub · Where software is built

Labels Milestones New issue

Decision procedure for Requirement Traceability Semantics

#105

· ferhaterata opened

on Jun 15, 2017

Encode Alloy example, Address Book in Z3

#103

· ferhaterata opened

on May 29, 2017

Encode Alloy example, Birthday Book in Z3

#102

· ferhaterata opened

on May 29, 2017

Encode Alloy example, Theory of Lists in Z3

#101

· ferhaterata opened

on May 29, 2017

Compare KodKod Results of Requirement Traceability Theory using Requirement Traceability Data-set with Z3 and CVC4 Results

#98

· ferhaterata opened

on May 26, 2017

Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java)

#97

· ferhaterata opened

on May 26, 2017

Relational Reasoning via SMT Solving, Encode Alloy example, Filesystem in Z3

#96

· ferhaterata opened

on May 26, 2017

Encode Core Requirement Traceability Theory in KodKod Model Finder (Java)

#95

· ferhaterata opened

on May 26, 2017

Extend Core Requirement Traceability Model with Implementation Sort and Satisfies relation

#93

· ferhaterata opened

on May 25, 2017

Analyze Havelsan Dataset with regards to Requirement Core Traceability Model.

#92

· ferhaterata opened

on May 25, 2017

Compare UNSAT results of Requirement Traceability Theory with TRIC using Requirement Traceability Data-set

#91

· ferhaterata opened

on May 25, 2017

Ambiguity

#90

· emrekirmizi opened

on Mar 29, 2017