GitHub · Where software is built

Labels Milestones New issue

New property: free world

#548

· danieldietsch opened

on Mar 30, 2021

[ReqAnalyzer] Find the right way to model the transitions in a state machine

#545

· alopez-developair opened

on Dec 7, 2020

[ReqAnalyzer] Odd-looking times in countertraces when using prev

investigation needed

#544

· alopez-developair opened

on Dec 4, 2020

[ReqAnalyzer] Possible regression, maybe related to prev

#543

· alopez-developair opened

on Dec 4, 2020

[ReqAnalyzer] Add "after at most" variants to some patterns.

#542

· alopez-developair opened

on Dec 4, 2020

Include invariants involved when reporting an rt-inconsistency

#536

· alopez-developair opened

on Nov 19, 2020

rt-inconsistency between one requirement and invariants are not reported / reported in the wrong part

investigation needed

#533

· danieldietsch opened

on Nov 17, 2020

Non-intuitive vacuity reported for conflict (ReqCheck)

#530

· alopez-developair opened

on Nov 17, 2020

Unexpected time-scale dependant generation of counter examples (ReqCheck)

investigation needed

#523

· alopez-developair opened

on Oct 28, 2020

Refine rt Inconsistency error path with tighter equivalence classes

#520

· danieldietsch opened

on Oct 13, 2020

Define initial state for test generation

investigation needed

#467

· danieldietsch opened

on Mar 4, 2020

·

New property: continuous consistency

#465

· danieldietsch opened

on Mar 4, 2020

·