Awesome Open Source

Programming Languages

Search results for graph model checking

model-checking x

2 search results found

A Shape Analysis Tool based on Graph Grammars

Apollo Frontend ⭐ 5

A web application for first-order model checking in graph structures.

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

Related Searches

Python Graph (6,257)

Javascript Graph (3,671)

Java Graph (2,116)

C Plus Plus Graph (2,047)

Algorithms Graph (1,701)

Graph Edge (1,528)

Network Graph (1,265)

Jupyter Notebook Graph (1,166)

Graph Visualization (962)

Graph Neo4j (866)

1-2 of 2 search results

Privacy | About | Terms | Follow Us On Twitter

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