List view
Milestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by March 31, 2015Milestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by March 17, 2015Milestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by March 3, 2015Milestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by February 17, 2015Milestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by February 3, 2015Milestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by January 20, 2015Milestone for the 2-weekly verification and validation sprint. (due to holydays here 3 weeks) The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by January 6, 2015Milestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by December 16, 2014Milestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by December 2, 2014•3/3 issues closedMilestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by September 10, 2014•3/9 issues closedMilestone for the 2-weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. The sprint will be closed after two weeks at following Wednesday's review session. SCRUM Master for the 2nd level VnV: Bernd Hekele
Overdue by 10 year(s)•Due by August 27, 2014•2/2 issues closed* write an ACSL-contract for Bitwalker_IncrementalWalker_Init, Bitwalker_IncrementalWalker_Peek_Next, Bitwalker_IncrementalWalker_Peek_Finish, Bitwalker_IncrementalWalker_Poke_Next and Bitwalker_IncrementalWalker_Poke_Finish * specify the type invariants of the struct T_Bitwalker_Incremental_Locals * specify and verify relations of these functions to each other * try to verify all functions with automatic theorem provers * if necessary, verify the rest with an interactive theorem prover * document strengths and weaknesses of the used tools and specification language
No due date•1/1 issues closed* formalize that Peek and Poke are inverse functions * try to verify interaction with automatic theorem provers * if necessary, verify the rest with an interactive theorem prover * document possible difficulties
No due date•9/9 issues closed* write an ACSL-contract for Bitwalker_Poke * find reusable predicates, logic functions and lemmas for example for bit manipulations * try to verify Bitwalker_Poke with automatic theorem provers * if necessary, verify the rest with an interactive theorem prover * document strengths and weaknesses of the used tools and specification language
No due date•7/7 issues closed* write an ACSL-contract for Bitwalker_Peek * find reusable predicates, logic functions and lemmas for example for bit manipulations * try to verify Bitwalker_Peek with automatic theorem provers * if necessary, verify the rest with an interactive theorem prover * document strengths and weaknesses of the used tools and specification language
No due date•11/11 issues closedPlace for our V&V Impediments Now started for the V&V 1st level
Overdue by 11 year(s)•Due by October 31, 2013•3/3 issues closed- Overdue by 12 year(s)•Due by August 14, 2013•1/10 issues closed
Milestone for the weekly verification and validation sprint. The sprint will start with Wednesday's grooming going through the possible backlog issues. A daily sprint will take place Thursday, Monday and Tuesday. The sprint will be closed at following Wednesday's review session. SCRUM Master for the 1st level VnV: Bernd Hekele
Overdue by 11 year(s)•Due by October 30, 2013•1/1 issues closed- No due date•2/8 issues closed
Activities concerned with completing the Verification and Validation Plan Version 1
Overdue by 12 year(s)•Due by July 31, 2013•20/21 issues closedDue T0+35
Overdue by 10 year(s)•Due by May 31, 2015•0/1 issues closedT0+24
Overdue by 11 year(s)•Due by June 30, 2014•1/7 issues closedThis is the first Verificatoin and Validation Report Including deliverables D4.2.x Due date: T0+16
Overdue by 11 year(s)•Due by October 31, 2013•11/11 issues closed- No due date•7/12 issues closed