Results 291 to 297 of about 23,557 (297)

24-Type loop checking system - Application and field test results in the bell telephone system

IEEE Transactions on Communication and Electronics, 1963
exaly  

A Sleeper-based Prolog Interpreter with Loop Checks.

1994
FERRUCCI, Filomena, LOIA, Vincenzo, PACINI, Giuliano, SESSA, Maria Immacolata   +3 more
openaire   +1 more source

Loop checking and negation

Lecture Notes in Computer Science, 2005
exaly  

Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis

2008
exaly  

Model checking safety properties of servo-loop control systems

exaly  

Book review: Loop checking in logic programming

Mededelingen van het Wiskundig Genootschap, 1997
openaire   +1 more source

Model Checking LOOP Programs.

openaire