Mcta is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
Copyright © by Sebastian Kupferschmid and Martin Wehrle
Mcta is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
Downloads
As of July 20, 2016, we have moved the sources to Bitbucket.
Get source files at Bitbucket.
For benchmark files and for earlier versions of Mcta, see below.
Earlier Versions
| package | released | md5 | size | note | |
|---|---|---|---|---|---|
| Benchmark Files | |||||
 |
benchmarks | md5 | 82 KB | all benchmark files | |
| Precompiled Binaries | |||||
|
mcta-2012.05.1 | Sep 2012 | md5 | 6857 KB | compiled with GCC 4.6.3, on Ubuntu 12.04 (32 bit) |
|
mcta-2012.05 | May 2012 | md5 | 6857 KB | compiled with GCC 4.6.3, on Ubuntu 12.04 (32 bit) |
|
mcta-2012.01 | Jan 2012 | md5 | 6569 KB | compiled with GCC 4.6.1, on Ubuntu 11.10 (32 bit) |
|
mcta-2011.10 | Oct 2011 | md5 | 6674 KB | compiled with GCC 4.5.2, on Ubuntu 11.04 (32 bit) |
 |
mcta-0.2 | Jan 2009 | md5 | 3904 KB | compiled with GCC 4.3.2, on Ubuntu 8.10 (32 bit) |
|
mcta-0.1 | Feb 2008 | md5 | 3920 KB | compiled with GCC 4.3.2, on Ubuntu 8.10 (32 bit) |
| Source Code | |||||
|
mcta-src-2012.05.1 | Sep 2012 | md5 | 1377 KB | source code |
|
mcta-src-2012.05 | May 2012 | md5 | 1444 KB | source code |
|
mcta-src-2012.01 | Jan 2012 | md5 | 1377 KB | source code |
|
mcta-src-2011.10 | Oct 2011 | md5 | 96 KB | source code |
|
mcta-src-0.2 | Jan 2009 | md5 | 61 KB | source code |
|
mcta-src-0.1 | Feb 2008 | md5 | 61 KB | source code |
Installation
The easiest way to use Mcta is to directly run the precompiled binaries from the download section. If you happen to have a non-Linux OS, or if you are just interested in extending the tool, then keep on reading.
Since Mcta-2012.01, we switched from scons to cmake for building the software. The building instructions for older versions can be found here.
Software Prerequisites
- bison, version ≥ 2.3
- flex, version ≥ 2.5.31
- gperf
- libxml2, version ≥ 2.6.10
- cmake, version ≥ 2.8
- the boost C++ libraries including program_options
- Python, version ≥ 2.4 (optional)
Note that Mcta actually also depends on some freely available Uppaal libraries (libutap and the the Uppaal DBM library). Since Mcta-2012.01, the mcta source tarballs also contain these libraries.
Building
Although we are using cmake in order to build mcta, we currently only support Linux systems. After extracting the mcta archive, change in the newly created directory and execute make.
tar xvzf mcta.tgz cd mcta make
