1083 search results - page 191 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
106
Voted
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
100
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
108
click to vote
ICTAC
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
114
Voted
ICALP
1998
Springer
15 years 6 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
138
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...