/dports/math/spot/spot-2.10.2/bin/man/ |
H A D | spot.x | 6 Spot is a C++ library for ω-automata and LTL formulas manipulation.
|
/dports/math/py-spot/spot-2.10.2/bin/man/ |
H A D | spot.x | 6 Spot is a C++ library for ω-automata and LTL formulas manipulation.
|
/dports/math/spot/spot-2.10.2/ |
H A D | README | 96 Spot used to distribute a modified version of LBTT (an LTL to Büchi 130 and are also used to build the CGI script that translates LTL 289 parsetl/ Parser for LTL/PSL formulas. 314 ltl2tgba/ ... LTL-to-Büchi translation algorithms, 315 ltlcounter/ ... translation of a class of LTL formulas, 316 ltlclasses/ ... translation of more classes of LTL formulas, 346 LocalWords: Python's BuDDy LBTT LTL Büchi lbtt gspn DIR GreatSPN Soheib Yann
|
/dports/math/py-spot/spot-2.10.2/ |
H A D | README | 96 Spot used to distribute a modified version of LBTT (an LTL to Büchi 130 and are also used to build the CGI script that translates LTL 289 parsetl/ Parser for LTL/PSL formulas. 314 ltl2tgba/ ... LTL-to-Büchi translation algorithms, 315 ltlcounter/ ... translation of a class of LTL formulas, 316 ltlclasses/ ... translation of more classes of LTL formulas, 346 LocalWords: Python's BuDDy LBTT LTL Büchi lbtt gspn DIR GreatSPN Soheib Yann
|
/dports/math/spot/spot-2.10.2/bench/emptchk/ |
H A D | README | 19 An LTL formula to verify on these examples. 52 title = {Tarjan's Algorithm Makes On-the-Fly {LTL} Verification 103 title = {Efficient {B\"u}chi Automata for {LTL} Formul{\ae}}, 123 random LTL formulae.
|
/dports/math/spot/spot-2.10.2/doc/org/ |
H A D | tut11.org | 2 #+TITLE: Translating an LTL formula into a monitor 158 check that an LTL formula is a safety by using: 219 1. translate the LTL formula into a TGBA 247 // 1. translate LTL formula into TGBA
|
H A D | tut10.org | 2 #+TITLE: Translating an LTL formula into a never claim 10 Here is how to translate an LTL (or PSL) formula into a never claim.
|
H A D | tut02.org | 10 The task is to read an LTL formula, relabel all (possibly 27 instance if you want to call =ltl2ba= (or any other LTL-to-Büchi
|
/dports/math/py-spot/spot-2.10.2/doc/org/ |
H A D | tut11.org | 2 #+TITLE: Translating an LTL formula into a monitor 158 check that an LTL formula is a safety by using: 219 1. translate the LTL formula into a TGBA 247 // 1. translate LTL formula into TGBA
|
H A D | tut02.org | 10 The task is to read an LTL formula, relabel all (possibly 27 instance if you want to call =ltl2ba= (or any other LTL-to-Büchi
|
H A D | tut10.org | 2 #+TITLE: Translating an LTL formula into a never claim 10 Here is how to translate an LTL (or PSL) formula into a never claim.
|
/dports/math/py-spot/spot-2.10.2/bench/emptchk/ |
H A D | README | 19 An LTL formula to verify on these examples. 52 title = {Tarjan's Algorithm Makes On-the-Fly {LTL} Verification 103 title = {Efficient {B\"u}chi Automata for {LTL} Formul{\ae}}, 123 random LTL formulae.
|
/dports/math/spot/spot-2.10.2/tests/python/ |
H A D | sum.py | 38 opts.set('output', spot.randltlgenerator.LTL)
|
/dports/math/py-spot/spot-2.10.2/tests/python/ |
H A D | sum.py | 38 opts.set('output', spot.randltlgenerator.LTL)
|
/dports/games/golly/golly-3.3-src/Patterns/Larger-than-Life/ |
H A D | Gnarl.mcl | 10 #D example provided by Kellie Evans. The rule is an LTL model in which cell
|
/dports/math/spot/spot-2.10.2/spot/tl/ |
H A D | randomltl.hh | 302 enum output_type { Bool, LTL, SERE, PSL }; enumerator
|
/dports/math/py-spot/spot-2.10.2/spot/tl/ |
H A D | randomltl.hh | 302 enum output_type { Bool, LTL, SERE, PSL }; enumerator
|
/dports/math/ltl2ba/ltl2ba-1.3/ |
H A D | README | 40 "Fast LTL to B�chi Automata Translation" 78 The formula is an LTL formula, and may contain propositional symbols,
|
/dports/math/spot/spot-2.10.2/doc/ |
H A D | mainpage.dox | 22 /// \li spot::formula Base class for an LTL or PSL formula.
|
/dports/math/py-spot/spot-2.10.2/doc/ |
H A D | mainpage.dox | 22 /// \li spot::formula Base class for an LTL or PSL formula.
|
/dports/cad/gds3d/GDS3D-bcdb97a/libgdsto3d/ |
H A D | GDSII.rtf | 301 such as ISS LTL-100, it seems more flexible\ 334 0 to 63, LTL allows 0 to 255. Of course a\ 338 be 0 to 63, LTL allows 0 to 255. Of course a\ 373 be 0 to 63, LTL allows 0 to 255. Of course a\ 449 be 0 to 63, LTL allows 0 to 255. Of course a\ 461 0 to 63, LTL allows 0 to 255. Of course a\
|
/dports/java/sablevm-classpath/sablevm-classpath-1.13/resource/gnu/java/locale/ |
H A D | LocaleInformation_lt.properties | 11 currenciesDisplayName.LTL=LTL 12 currenciesSymbol.LTL=Lt
|
/dports/math/gap/gap-4.11.0/pkg/hap-1.25/lib/LieAlgebras/ |
H A D | LieCover.gi | 12 q1, q2, tt1, tt2, ww, h, LTL, LVL, t, v7, I, II, 211 LTL:=C/I; 264 I3:=VectorSpace(K,Basis(LTL)); 294 bLTL:=Basis(LTL); 296 g:= AlgebraHomomorphismByImages( LTL, L, bLTL , bL );;
|
/dports/math/spot/spot-2.10.2/doc/tl/ |
H A D | spotltl.sty | 2 \ProvidesPackage{spotltl}[2013/08/28 Temporal Logic Operators for LTL and PSL]
|
/dports/math/py-spot/spot-2.10.2/doc/tl/ |
H A D | spotltl.sty | 2 \ProvidesPackage{spotltl}[2013/08/28 Temporal Logic Operators for LTL and PSL]
|