955 search results - page 66 / 191 » Model Checking Operator Procedures |
FOCS
1989
IEEE
14 years 23 days ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
CC
2008
Springer
13 years 10 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
ICDE
2011
IEEE
13 years 13 days ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
WSC
2008
13 years 11 months ago
2008
This study observed the challenges of taking an existing facility's inpatient volumes and procedures and projecting them into a replacement facility with differently sized un...