D45 Model Checking: Revision history

20 April 2012

• curprev 21:3521:35, 20 April 2012‎ imported>Tommy‎ m 6,772 bytes +30‎ No edit summary
• curprev 21:3421:34, 20 April 2012‎ imported>Tommy‎ m 6,742 bytes +191‎ →‎Available Documentation
• curprev 21:3021:30, 20 April 2012‎ imported>Tommy‎ m 6,551 bytes +2‎ →‎New Features

19 April 2012

• curprev 12:0712:07, 19 April 2012‎ imported>Tommy‎ m 6,549 bytes 0‎ No edit summary
• curprev 12:0612:06, 19 April 2012‎ imported>Tommy‎ m 6,549 bytes 0‎ →‎Constraint-Based Checking
• curprev 12:0612:06, 19 April 2012‎ imported>Tommy‎ m 6,549 bytes +7‎ →‎State Space Reduction, Compression and Hashing

27 March 2012

• curprev 15:1815:18, 27 March 2012‎ imported>Tommy‎ 6,542 bytes +28‎ →‎Status

26 March 2012

• curprev 14:4914:49, 26 March 2012‎ imported>Tommy‎ m 6,514 bytes +1‎ →‎Status
• curprev 14:4214:42, 26 March 2012‎ imported>Tommy‎ m 6,513 bytes −1‎ →‎Experiments with Theory Plugin

15 March 2012

• curprev 15:2015:20, 15 March 2012‎ imported>Leuschel‎ 6,514 bytes −26‎ →‎Choices / Decisions
• curprev 15:2015:20, 15 March 2012‎ imported>Leuschel‎ 6,540 bytes −26‎ →‎Available Documentation

14 March 2012

• curprev 11:5611:56, 14 March 2012‎ imported>Leuschel‎ 6,566 bytes −25‎ →‎Motivations
• curprev 11:5611:56, 14 March 2012‎ imported>Leuschel‎ 6,591 bytes +155‎ →‎Overview
• curprev 11:4611:46, 14 March 2012‎ imported>Leuschel‎ 6,436 bytes +209‎ →‎Status
• curprev 11:4411:44, 14 March 2012‎ imported>Leuschel‎ 6,227 bytes −12‎ →‎Available Documentation
• curprev 11:4311:43, 14 March 2012‎ imported>Leuschel‎ 6,239 bytes +183‎ →‎Motivations
• curprev 11:4211:42, 14 March 2012‎ imported>Leuschel‎ 6,056 bytes +275‎ →‎Improved detection of infinite functions, and improved support for them
• curprev 11:4011:40, 14 March 2012‎ imported>Leuschel‎ 5,781 bytes +212‎ →‎New Features
• curprev 11:3811:38, 14 March 2012‎ imported>Leuschel‎ 5,569 bytes +388‎ →‎Support of finite operator
• curprev 11:3611:36, 14 March 2012‎ imported>Leuschel‎ 5,181 bytes +335‎ →‎Experiments with Theory Plugin
• curprev 11:2811:28, 14 March 2012‎ imported>Leuschel‎ 4,846 bytes −50‎ →‎Experiments
• curprev 11:2811:28, 14 March 2012‎ imported>Leuschel‎ 4,896 bytes +1,084‎ →‎Experiments
• curprev 11:2511:25, 14 March 2012‎ imported>Leuschel‎ 3,812 bytes +274‎ →‎Motivations
• curprev 11:2311:23, 14 March 2012‎ imported>Leuschel‎ 3,538 bytes −79‎ →‎State Space Reduction, Compression and Hashing
• curprev 11:2311:23, 14 March 2012‎ imported>Leuschel‎ 3,617 bytes +77‎ →‎Constraint-Based Checking
• curprev 11:2211:22, 14 March 2012‎ imported>Leuschel‎ 3,540 bytes +131‎ →‎Available Documentation
• curprev 11:2011:20, 14 March 2012‎ imported>Jens‎ 3,409 bytes +29‎ →‎New Features
• curprev 11:1911:19, 14 March 2012‎ imported>Leuschel‎ 3,380 bytes +579‎ →‎State Space Reduction, Compression and Hashing

15 February 2012

• curprev 17:4617:46, 15 February 2012‎ imported>Leuschel‎ 2,801 bytes +208‎ →‎Available Documentation

14 February 2012

• curprev 09:0809:08, 14 February 2012‎ imported>Leuschel‎ 2,593 bytes +862‎ No edit summary

10 February 2012

• curprev 15:1915:19, 10 February 2012‎ imported>Leuschel‎ 1,731 bytes +607‎ No edit summary
• curprev 15:0715:07, 10 February 2012‎ imported>Leuschel‎ 1,124 bytes +429‎ No edit summary
• curprev 14:5214:52, 10 February 2012‎ imported>Leuschel‎ 695 bytes +100‎ →‎Overview
• curprev 14:5014:50, 10 February 2012‎ imported>Leuschel‎ 595 bytes +310‎ →‎Overview

7 November 2011

• curprev 17:0217:02, 7 November 2011‎ imported>Tommy‎ 285 bytes +30‎ No edit summary
• curprev 13:1913:19, 7 November 2011‎ imported>Tommy‎ m 255 bytes +255‎ New page: = Overview = {{TODO}} An overview of the work done about model checking. = Motivations = {{TODO}} To be completed. = Choices / Decisions = {{TODO}} To be completed. = Available Documentati...