Stack Overflow
Stack Overflow

Questions tagged [ctl]

83 questions
1
vote
1 answer

How to create a simple Kripke model in NuSMV?

I am currently doing some theoretical research in LTL (Linear-time Temporal Logic) and CTL (Computation Tree Logic). I am new to NuSMV and I have difficulty to create a simple Kripke structure. My structure is M = (S, R, L) where S = {s0, s1, s2} is…
Iqazra
  • 419
  • 1
  • 3
  • 11
1
vote
2 answers

NuSMV at least 5 time steps to win

I have an NuSMV program and I need to specify in either CTL or LTL that the program (which is a game) can't be won in less than 5 time steps. Or more formal: There are at least 5 time steps needed to win the game. I don't have an explicit time…
Sven
  • 1,133
  • 1
  • 11
  • 22
1
vote
0 answers

Emma unable to find CTL hence unable to do ForceDump

I downloaded emma 2.1.5320 from https://sourceforge.net/projects/emma/files/emma-testing/2.1.5320/. Then did instrumentation for a jar file and started the application. Then tried to dump the coverage data by doing java -cp emma ctl -connect…
user2116990
  • 51
  • 1
  • 6
1
vote
1 answer

Load data from multiple data files into multiple tables using single ctl file

I have 3 data files and 3 staging tables. Is there any way to enter the data from the data files to their respective staging tables using only a single control file using parameters. To detail out the scenario, there are 3 data files namely A.dat,…
astrob0t
  • 143
  • 1
  • 7
0
votes
0 answers

Batch File SQL Loader DB Reset

Trying to simplify the process of creating batch files. I have been tasked with Oracle SQL DB Resets. The project currently uses batch files (.bat) to load table data (.txt) through SQL Loader. So Data (.txt) will be placed in a DIR and I have to…
UntiedMy Mind
  • 19
  • 2
0
votes
0 answers

Model checking of conveyor belt system on NuSMV using CTL specifications

apply model checking of conveyor belt system on NuSMV using CTL specifications as the two statements shown below to validate the correctness using photoelectric sensors as input and synchronous motors as output and reliability of the…
Jack
  • 1
0
votes
1 answer

How to get current value of oracle sequence in ctl template

I'm trying to ingest 3 csv into 3 three tables A,B,C respectively. Primary key of A is generated using SCHEMEA.SEQ_TAB_REC_ID.NEXTVAL and B, C has foreign key column which is referring to A's primary key I tried to put the direct sql query select…
Sajna Sheeja
  • 63
  • 4
0
votes
0 answers

Improve SqlLdr performance for 120 Million records Upload from Csv

It is taking almost 10hrs to finish loading into tables. Here is my ctl file. OPTIONS ( skip =1, ERRORS=4000000, READSIZE=5000000, BINDSIZE=8000000, direct=true unrecoverable ) load data INFILE…
Kkv
  • 1
  • 2
0
votes
0 answers

sql loader case statement- how to populate a column based on another table and column values

I have a table named Addresses(having multiple address line num column) and another table named Phy_Addr Table 1: Addresses Columns: EmployeeID, Addr_Line_1, Addr_Line_2, Addr_Line_3 Table 2: Phy_Addr Column: EmployeeID, Addr_Line_Filled I would…
Darshak
  • 31
  • 5
0
votes
1 answer

How to create and use Certificate Trust List for IIS 10+

We have IIS10 running on a server that has had too many certificates added to the trusted root authorities store. There is a group policy in place that keeps replacing these certificates should any be deleted. In this case, IIS is apparently…
JDS
  • 153
  • 9
0
votes
1 answer

Can I filter rows by date in Oracle SQL Loader?

Everyday I receive a big interface file and I'm loading all the rows, but I'm only using the most recent information, (much less rows). Can I filter by the .ctl file so as to insert only the newest rows? This is my ctl file: LOAD DATA INSERT INTO …
Carlos_1988
  • 1
  • 1
0
votes
1 answer

can someone help me on this following errors on my CTL file?

I want to insert the rejected records in a log and to the temp table that i created . but this is my problem on codes , i'm new in creating CTL and Shell Script . here's my code : LOAD DATA INFILE 'open_account .csv' BADFILE…
BROX
  • 17
  • 3
0
votes
0 answers

Counterxample enumeration on UPPAAL

Good afternoon, I am doing some experiments with UPPAAL model checker and my understanding is that, when a property is not verified, the verification engine (verifyta) only enables to find one among the following: A Trace Shortest Trace (Number of…
giudaballerino
  • 55
  • 6
0
votes
1 answer

Oracle SQL*Loader WHEN Clause Raising Error 2

I am trying to exclude the last line of a data file using SQL*Loader, using the WHEN clause, but when it gets to that line it populates both the bad and discard file, and raises an Error 2. The line to ignore is the last line and starts with…
Sukhster
  • 51
  • 1
  • 5
0
votes
1 answer

What is CTL Model Checking?

I got asked to write my master thesis on CTL model checking, indeed I am unsure which company might need skills on that topic. Can anyone please tell me for what CTL model checking can be used in future and/or in economy? And what CTL Model Checking…
none_kak
  • 11
  • 4
1 2
3
4 5 6