User loginNavigation |
checking oo code against detailed specsModular Veriï¬cation of Code with SAT (pdf)
Using Alloy's Kodkod - a new relational engine designed to be a plugin component / backend for other tools. (It solves Sudoku too...) By Isaac Gouy at 2007-05-11 05:41 | LtU Forum | previous forum topic | next forum topic | other blogs | 4795 reads
|
Browse archives
Active forum topics |
Recent comments
36 weeks 4 days ago
36 weeks 5 days ago
36 weeks 5 days ago
1 year 6 weeks ago
1 year 11 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago
1 year 15 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago