Alexander Heußner

  • Registered on: 04/08/2010
  • Last connection: 05/05/2014

Projects

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)
01:34 pm McScM mcscm-1.2.1.Darwin_amd64.tar.bz2

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