Skip to content

LorenzoBettini/xklaim

Repository files navigation

xklaim

Java CI with Maven Maven Central

Java 11 is required.

Eclipse update site: https://lorenzobettini.github.io/xklaim-releases/

Eclipse distributions with Xklaim installed: https://sourceforge.net/projects/xklaim/files/products/

For macOS users: depending on the version of your macOS, when you try to run the xklaim.app you may run into an error that says "the application is damaged and can't be opened". This problem can be overcome by running the following command from the terminal (from the directory where the xklaim.app is located): xattr -c xklaim.app.

IMPORTANT: the old Bintray update site does not work anymore, make sure you use the new one and remove the old one. If you had downloaded an Xklaim Eclipse distribution earlier than 2.1 you won't be able to update it; please download a brand new Xklaim Eclipse distribution.

Publications:

https://link.springer.com/chapter/10.1007%2F978-3-030-21485-2_8

Bettini L., Merelli E., Tiezzi F. (2019) X-Klaim Is Back. In: Boreale M., Corradini F., Loreti M., Pugliese R. (eds) Models, Languages, and Tools for Concurrent and Distributed Programming. Lecture Notes in Computer Science, vol 11665. Springer.

https://link.springer.com/chapter/10.1007/978-3-030-61470-6_22

Bettini L., Bourr K., Pugliese R., Tiezzi F. (2020) Writing Robotics Applications with X-Klaim. In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles. Lecture Notes in Computer Science, vol 12477. Springer.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages