Awesome Open Source

Programming Languages

Search results for tex model checking

model-checking x

3 search results found

Tlaplus At Nju Disalg ⭐ 9

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/peopl

Hintikkasworld ⭐ 8

Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

Uppaal Latex ⭐ 8

LaTeX package to typeset Uppaal timed automata specifications

Related Searches

Tex Latex (5,332)

Tex Thesis (1,478)

Tex Paper (821)

Python Tex (552)

Tex University (480)

Tex Xelatex (439)

Tex Bibtex (403)

Markdown Tex (392)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.