Alexander Heußner
- Registered on: 04/08/2010
- Last connection: 05/05/2014
Projects
- Analysis of Concurrent Systems (Manager, Developer, 05/27/2010)
- McScM (Manager, Developer, 05/27/2010)
- ProMcScM (Manager, 11/28/2010)
Activity
Reported issues: 15
03/19/2014
- 09:12 am McScM Wiki edit: Wiki (#19)
- 09:02 am McScM Feature #82 (New): Learning-based algorithm
- Add learning-based approaches for queue automata verification (see Vardhan et al. "Actively Learning to verify safety...
- 09:00 am McScM Feature #81 (New): SCM++ (new automata definition language)
- Following some offline/email discussions, the following features would be a good start for a re-design/extension of t...
- 08:58 am McScM Feature #80 (New): JSON output of counter-examples
- Due to user request: outputting the counter-examples in a simple, easily parsable format like JSON would be nice for ...
01/29/2014
- 11:44 am McScM Wiki edit: Wiki (#18)
- 10:25 am McScM Feature #74 (Closed): Internal actions
09/10/2012
- 01:42 pm McScM Wiki edit: Download (#28)
08/27/2012
- 12:22 pm McScM Bug #75 (Closed): Compiling McScM under OCaml 4.00
08/23/2012
- 05:54 pm McScM Bug #75 (Closed): Compiling McScM under OCaml 4.00
- Compiling the source via the @Makefile@ with OCaml 4.00 not possible due to inconsistencies with ocamlbuild's treatme...
Also available in: Atom