ITSTools
ITSTools copied to clipboard
lip6
A multi-formalism, multi-solution model-checker centered on the language GAL
Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.5.0 to 4.6.0. Release notes Sourced from JamesIves/github-pages-deploy-action's releases. v4.6.0 What's Changed Check for fatal on every line of stderr of the git command by @ben-z in...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [actions/setup-java](https://github.com/actions/setup-java) from 3 to 4. Release notes Sourced from actions/setup-java's releases. v4.0.0 What's Changed In the scope of this release, the version of the Node.js runtime was updated to...
Hi, First of all, thanks for all the efforts on providing these tools and their extensive documentation. I am considering using GAL as a target language for my use case...
Hi, I'm currently investigating the feasibility of using the GAL formalism in a side project of mine. The current approach characterises a system's semantics in terms of the [SMV](https://es-static.fbk.eu/tools/nuxmv/) formalism....
## Description The urgent channels of XTA (see https://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf page 6) do not seem to be supported, at least in the XTA editor. ## How to reproduce Open file: ```...
there is no real reason we could not use the parameters in the property specification, we having some kind of AndAll/OrAll (or forAll, forAny) quantifiers + bool expr over parameters...
we would like to have a (property file + model) passed to Check call. When a foreign formalism is used, we want to keep the property file across runs. Options...
Run as its model check only accepts .gal files Add support for .xta, .dve, .pml, .net (Tina), .ndr (Tina), .xml (Romeo), .model (coloane), .pnml by leveraging existing transformations.
Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.5.0 to 4.6.1. Release notes Sourced from JamesIves/github-pages-deploy-action's releases. v4.6.1 What's Changed Fixes Resolved an issue where workflows were suddenly failing due to a worktree in use...