Home
last modified time | relevance | path

Searched refs:LTL (Results 101 – 125 of 838) sorted by relevance

12345678910>>...34

/dports/math/spot/spot-2.10.2/bin/man/
H A Dspot.x6 Spot is a C++ library for ω-automata and LTL formulas manipulation.
/dports/math/py-spot/spot-2.10.2/bin/man/
H A Dspot.x6 Spot is a C++ library for ω-automata and LTL formulas manipulation.
/dports/math/spot/spot-2.10.2/
H A DREADME96 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 DREADME96 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 DREADME19 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 Dtut11.org2 #+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 Dtut10.org2 #+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 Dtut02.org10 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 Dtut11.org2 #+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 Dtut02.org10 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 Dtut10.org2 #+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 DREADME19 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 Dsum.py38 opts.set('output', spot.randltlgenerator.LTL)
/dports/math/py-spot/spot-2.10.2/tests/python/
H A Dsum.py38 opts.set('output', spot.randltlgenerator.LTL)
/dports/games/golly/golly-3.3-src/Patterns/Larger-than-Life/
H A DGnarl.mcl10 #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 Drandomltl.hh302 enum output_type { Bool, LTL, SERE, PSL }; enumerator
/dports/math/py-spot/spot-2.10.2/spot/tl/
H A Drandomltl.hh302 enum output_type { Bool, LTL, SERE, PSL }; enumerator
/dports/math/ltl2ba/ltl2ba-1.3/
H A DREADME40 "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 Dmainpage.dox22 /// \li spot::formula Base class for an LTL or PSL formula.
/dports/math/py-spot/spot-2.10.2/doc/
H A Dmainpage.dox22 /// \li spot::formula Base class for an LTL or PSL formula.
/dports/cad/gds3d/GDS3D-bcdb97a/libgdsto3d/
H A DGDSII.rtf301 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 DLocaleInformation_lt.properties11 currenciesDisplayName.LTL=LTL
12 currenciesSymbol.LTL=Lt
/dports/math/gap/gap-4.11.0/pkg/hap-1.25/lib/LieAlgebras/
H A DLieCover.gi12 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 Dspotltl.sty2 \ProvidesPackage{spotltl}[2013/08/28 Temporal Logic Operators for LTL and PSL]
/dports/math/py-spot/spot-2.10.2/doc/tl/
H A Dspotltl.sty2 \ProvidesPackage{spotltl}[2013/08/28 Temporal Logic Operators for LTL and PSL]

12345678910>>...34