GitHub · Where software is built

Labels Milestones New issue

[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

Non-intuitive vacuity reported for conflict (ReqCheck)

#530

· alopez-developair opened

on Nov 17, 2020

Refine rt Inconsistency error path with tighter equivalence classes

#520

· danieldietsch opened

on Oct 13, 2020

Check for Boogie keywords in observable names

#482

· danieldietsch opened

on Aug 7, 2020

Only view relevant inputs/outpus in tests.

#456

· Langenfeld opened

on Feb 26, 2020

·

Slow Petri Net Unfolding (the Bumblebee Observations)

#448

· Heizmann opened

on Oct 11, 2019

Improve automatic conversion from setting labels to command line options

#447

· schaetzc opened

on Sep 25, 2019

Better parser errors for requirements parser

#433

· danieldietsch opened

on Jul 5, 2019

Create unit tests for all requirement patterns

#428

· danieldietsch opened

on Jul 1, 2019

reqparser error: UnexpectedRequirementsParserFailureResult

#422

· Breee opened

on Apr 11, 2019

Inconsistent results for properties that introduce several error locations

backtranslation

#418

· Heizmann opened

on Dec 27, 2018