Search Results for "temporal logic"

...Pelican considers “articles” to be chronological content, such as posts on a blog, and thus associated with a date. The idea behind “pages” is that they are usually not temporal in nature and are used for content that does not change very often (e.g., “About” or “Contact” pages). Pelican tries to be smart enough to get the information it needs from the file system.

Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode....

The Temporal Logic Planning (TuLiP) Toolbox is a collection of Python-based code for automatic synthesis of correct-by-construction embedded control software. The source repository, issue tracking, and most developer-oriented tools have been moved to GitHub, https://github.com/tulip-control/tulip-control/