JOSS Papers: Formal Methods

All Papers
4031
 Published Papers
3595
 Active Papers
435
published Published over 2 years ago

Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

Python
@ritamraha
10.21105/joss.05052
published Published over 7 years ago

The Biddy BDD package

C Tcl C++ HyPhy
@meolic
10.21105/joss.01189
Displaying 2 papers

Journal of Open Source Software is an affiliate of the Open Source Initiative.

Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066