Views
Toolbox
File list
From MCRL2
This special page shows all uploaded files. By default the last uploaded files are shown at top of the list. A click on a column header changes the sorting.
 Date |
Name | User | Size | Description |
|---|---|---|---|---|
| 12:00, 15 February 2010 | User_manual-201001.pdf (file) | Jkeiren | 716 KB | (User manual for the January 2010 release) |
| 11:59, 14 December 2009 | MCRL2-datasheet_web_2009.pdf (file) | Fstappers | 1.12 MB | |
| 09:39, 14 December 2009 | Oce_Arizona_250-web.jpg (file) | Fstappers | 15 KB | |
| 15:38, 27 November 2009 | MCRL2-logo.pdf (file) | Fstappers | 956 KB | |
| 15:37, 27 November 2009 | MCRL2-logo_300dpi.png (file) | Fstappers | 315 KB | |
| 15:37, 27 November 2009 | MCRL2-logo_150dpi.png (file) | Fstappers | 84 KB | |
| 15:37, 27 November 2009 | MCRL2-logo_72dpi.png (file) | Fstappers | 31 KB | |
| 15:11, 15 September 2009 | ALMA.jpg (file) | Sploeger | 80 KB | (A picture of ALMA telescopes in the Chilean Atacama desert.) |
| 10:45, 27 July 2009 | MCRL2_syntax_definition.pdf (file) | Amathijs | 150 KB | (- added reserved word "if" - added "true", "false" and "if" as valid data expressions) |
| 18:47, 2 March 2009 | Free_variables.pdf (file) | Amathijs | 74 KB | (Description of the status of free variables in process specifications, LPSs and PBEs.) |
| 12:07, 18 February 2009 | Demokit_gr2.jpg (file) | Jfg | 168 KB | (L-Dot Demo kit, a 50 Watt RGB(W) LED Driver produced by eldoLED) |
| 14:31, 4 February 2009 | Mcrl2-release-2009-01.pdf (file) | Amathijs | 1.03 MB | (Slides showing the most important new features of the mCRL2 toolset January 2009 release.) |
| 12:43, 26 January 2009 | User_manual-200901.pdf (file) | Sploeger | 688 KB | (User manual for release January 2009) |
| 13:59, 23 January 2009 | BookAlexanderGardner.jpg (file) | Sploeger | 55 KB | (Front cover of the book "Process Algebra for Parallel and Distributed Processing" by Michael Alexander and William Gardner (editors), CRC Press, 2008, ISBN 978-1-4200-6486-5.) |
| 10:55, 17 October 2008 | SEN-R0308.pdf (file) | Sploeger | 847 KB | (W.J. Fokkink, J.F. Groote, J. Pang, B. Badban, J.C. van de Pol. Verifying a Sliding Window Protocol in μCRL. Technical report SEN-R0308, CWI, Amsterdam, 2003.) |
| 10:53, 17 October 2008 | SEN-R0310.pdf (file) | Sploeger | 1.13 MB | (J.F. Groote and M.K. Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, CWI, Amsterdam, 2003.) |
| 10:50, 17 October 2008 | CSReport0413.pdf (file) | Sploeger | 158 KB | (J.F. Groote and M. Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive BESs. Computer Science Report 04/13, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.) |
| 10:11, 17 October 2008 | CSReport0214.pdf (file) | Sploeger | 1.8 MB | (J.F. Groote and F.J.J. van Ham. State Space Visualisation. Eindhoven University of Technology, Department of Computer Science, CS-Report 02-14, 2002.) |
| 10:09, 17 October 2008 | CSReport0005.pdf (file) | Sploeger | 375 KB | (J.F. Groote and M.A. Reniers. Algebraic Process Verification. Computing Science Reports 00/05, Department of Computing Science, Eindhoven University of Technology, 2000.) |
| 14:01, 15 October 2008 | ICIS-R07014.pdf (file) | Sploeger | 352 KB | (M.C.J.D. van Eekelen, Stefan ten Hoedt, Rene Schreurs, and Yaroslav Usenko. Modeling and verifying a Real-Life Industrial Session-Layer Protocol in mCRL2. Technical report: ICIS-R07014, June, Radboud University Nijmegen, 2007.) |
| 13:26, 15 October 2008 | CSReport0815.pdf (file) | Sploeger | 451 KB | (Hossein Hojjat, MohammadReza Mousavi, Marjan Sirjani. Application of Process Algebraic Verification and Reduction Techniques to SystemC Designs, Technical Report CSR-08-15, Department of Computer Science, Eindhoven University of Technology, 2008.) |
| 13:16, 15 October 2008 | BRICSNS053.pdf (file) | Sploeger | 81 KB | (Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav Usenko. From µCRL to mCRL2: Motivation and Outline. In: Proc. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. BRICS NS-05-3 (2005), pages 126-131.) |
| 13:06, 15 October 2008 | CSReport0637.pdf (file) | Sploeger | 227 KB | (M. van Weerdenburg, An Account of Implementing Applicative Term Rewriting, Computer Science Report 06/37, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2006.) |
| 13:04, 15 October 2008 | CSReport0505.pdf (file) | Sploeger | 366 KB | (M.J. van Weerdenburg, Process Algebra with Local Communication, Computer Science Report 05/05, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2005.) |
| 12:58, 15 October 2008 | CSReport0817.pdf (file) | Sploeger | 391 KB | (S.M. Orzan and T.A.C. Willemse, Invariants for Parameterised Boolean Equation Systems, Eindhoven University of Technology, Department of Computer Science, CSR 08-17, 2008, 40 pp.) |
| 12:57, 15 October 2008 | CSReport0216.pdf (file) | Sploeger | 202 KB | (J.F. Groote and T.A.C. Willemse, A Checker for Modal Formulas for Processes with Data, Eindhoven University of Technology, Department of Computer Science, CSR 02-16, 2002.) |
| 12:56, 15 October 2008 | CSReport0409.pdf (file) | Sploeger | 238 KB | (J.F. Groote and T.A.C. Willemse, Parameterised Boolean Equation Systems, Eindhoven University of Technology, Department of Computer Science, CSR 04-09, 2004.) |
| 12:54, 15 October 2008 | CSReport0724.pdf (file) | Sploeger | 302 KB | (Tom A.N. Engels, Jan Friso Groote, Muck J. van Weerdenburg and Tim A.C. Willemse, Search Algorithms for Automated Validation, Eindhoven University of Technology, Department of Computer Science, CSR 07-24, 2007, 24 pp. ) |
| 10:01, 15 October 2008 | PresentationIPABCFM2008.pdf (file) | Sploeger | 4.32 MB | (Aad Mathijssen, Bas Ploeger, Frank Stappers, Tim Willemse. Behaviour Analysis using mCRL2. IPA Course on Formal Methods, Eindhoven University of Technology, 26th June 2008. ) |
| 09:40, 15 October 2008 | PresentationBitsChips2008.pdf (file) | Sploeger | 3.01 MB | |
| 16:09, 14 October 2008 | CSReport0525.pdf (file) | Sploeger | 1.24 MB | (Aad Mathijssen, A. Johannes Pretorius. Specification, Analysis and Verification of an Automated Parking Garage. CS-Report 05-25, Technische Universiteit Eindhoven (2005).) |
| 16:04, 14 October 2008 | CSReport0714.pdf (file) | Sploeger | 225 KB | (T. Chen, B. Ploeger, J. van de Pol and T.A.C. Willemse. Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems. CS-Report 07-14, Eindhoven University of Technology, 2007.) |
| 16:03, 14 October 2008 | CSReport0806.pdf (file) | Sploeger | 230 KB | (R.J. van Glabbeek and B. Ploeger. Correcting a Space-Efficient Simulation Algorithm. CS-Report 08-06, Eindhoven University of Technology, 2008.) |
| 16:03, 14 October 2008 | CSReport0811.pdf (file) | Sploeger | 252 KB | (A. van Dam, B. Ploeger and T.A.C. Willemse. Instantiation for Parameterised Boolean Equation Systems. CS-Report 08-11, Eindhoven University of Technology, 2008.) |
| 08:23, 14 July 2008 | User_manual-200807.pdf (file) | Sploeger | 592 KB | (User manual for release July 2008) |
| 13:44, 5 July 2008 | PublicationWASDeTT2008.pdf (file) | Amathijs | 1.11 MB | (Jan Friso Groote, Jeroen Keiren, Aad Mathijssen, Bas Ploeger, Frank Stappers, Carst Tankink, Yaroslav Usenko, Muck van Weerdenburg, Wieger Wesselink, Tim Willemse and Jeroen van der Wulp. ''The mCRL2 toolset.'' In: Proc. International Workshop on Advanced) |
| 08:13, 2 June 2008 | Utilities_layout.png (file) | Jwulp | 18 KB | |
| 17:01, 20 January 2008 | FSM_file_example.png (file) | Sploeger | 20 KB | (Example for FSM file format description) |
| 14:17, 13 January 2008 | Pacemaker.PNG (file) | Jfg | 42 KB | (A possible implantation of a pacemaker) |
| 14:16, 13 January 2008 | Ci_pacemaker_tseries_small.jpg (file) | Jfg | 8 KB | (A pacemaker made by Vitatron) |
| 13:41, 3 January 2008 | Bisim_vs_trace.png (file) | Sploeger | 23 KB | (Two LTSs that are trace equivalent, but not strongly bisimilar.) |
| 12:48, 20 December 2007 | Circle-style-warning.png (file) | Jwulp | 44 KB | |
| 11:39, 20 December 2007 | Tipi_namespaces.png (file) | Jwulp | 8 KB | |
| 11:11, 20 December 2007 | Tipi_layout.png (file) | Jwulp | 4 KB | |
| 10:03, 17 December 2007 | SQuADT_data_operations.png (file) | Amathijs | 12 KB | |
| 10:02, 17 December 2007 | SQuADT_add_to_project.png (file) | Amathijs | 14 KB | |
| 09:59, 17 December 2007 | SQuADT_activity_view.png (file) | Amathijs | 14 KB | |
| 17:27, 12 November 2007 | Dining2_ns_seq.png (file) | Amathijs | 52 KB | (A picture of a labelled transition system for a naive sequential solution to the dining philosopher's problem for 2 philosophers. The transition system contains a deadlock) |
| 15:42, 6 November 2007 | Document_red.png (file) | Jwulp | 908 B | |
| 15:40, 6 November 2007 | Document_blue.png (file) | Jwulp | 903 B |
 First page |
 Previous page |
 Next page |
 Last page |
Copyright © 2005-2010 Technische Universiteit Eindhoven.
