2291 search results - page 3 / 459 » Logic Programming and Model Checking |
97
Voted
ICSE
2007
IEEE-ACM
16 years 1 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
15 years 5 months ago
2001
Springer
157
Voted
COMPSAC
2011
IEEE
14 years 26 days ago
2011
IEEE
ICALP
2007
Springer
15 years 7 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 ...
92
Voted
DAC
1998
ACM
16 years 2 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...