News about Bound-T, Tidorum, and WCET analysis
2012-02-19
Update of Mac "oc" support program (Om21T4)
2010-11-08
Watertek Co. to distribute Bound-T in P.R. China
2010-11-08
Bound-T to be used at DAS/UFSC, Brazil
2010-03-20
WCET'2010 workshop at ECRTS 2010
2010-03-01
Free downloads of size-limited Bound-T versions
2010-02-07
Updated Assertion Language Manual (6.4)
2009-10-01
Updated Bound-T example
2009-05-20
Bound-T/8051 version 3d3
2009-04-10
Updated Reference Manual
2009-04-04
Announcing the find_marks program
2009-04-04
Updated Assertion Language Manual
2009-03-09
WCET'2009 workshop at ECRTS 2009
2008-09-16
WCET Tool Challenge 2008: Report
2008-07-18
WCET Tool Challenge 2008
2008-07-18
WCET'2008 presentation
2008-03-29
WCET Tool Challenge 2008
2008-02-22
Bound-T/SPARC version 3c4
2008-02-22
Updated and reorganized User Manuals
2007-10-31
Bound-T/SPARC version 3c
2007-10-31
Updated User Manual
2007-09-27
Technical Notes on AOMF and Intel® Hex
2007-09-12
Updated User Manual
2007-07-05
WCET'2007 presentation
2007-06-29
Updated documentation
2007-06-28
SPARC V8/V8E support
2007-06-04
Tidorum joins GAP
2007-06-03
Switch/Case Analysis by Partial Evaluation