2291 search results - page 3 / 459 » Logic Programming and Model Checking |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
ERSHOV
2001
Springer
13 years 12 months ago
2001
Springer
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...