M. Bozzano, G. Delzanno, M. Martelli  Home/Search
Context Related
Links: ACM | disi.unige.it/pub/p...draftBDM02b.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/pers...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for specifications based on first order linear logic, a logic that can be used to naturally model infinite state systems with internal structured data. The fragment we consider in this paper is based on the linear logic programming language called LO [4] enriched with universally quantified goal formulas. Although LO was originally introduced as a theoretical foundation for... (Update)
Cited by: More
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) (Correct)
Active bibliography (related documents): More All
0.4: Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (Correct)
0.4: Automated Verification of Security Protocols - Bozzano, Delzanno (2002) (Correct)
0.4: A Bottom-up Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (2000) (Correct)
Similar documents based on text: More All
1.1: An Effective Bottom-Up Semantics for First-Order Linear .. - Bozzano, Delzanno.. (2001) (Correct)
0.9: An Effective Fixpoint Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (Correct)
0.8: A Bottom-up Semantics for LO - Bozzano, Delzanno, Martelli (Correct)
Related documents from co-citation: More All
3: Theoretical Computer Science (context) - Girard - 1987
2: A concurrent logical framework II: Examples and applications - Cervesato, Pfenning et al. - 2002
2: Locus solum: from the rules of logic to the logic of rules (context) - Girard - 2001
BibTeX entry: (Update)
Bozzano, M., Delzanno, G., Martelli, M.: Model checking linear logic specifications. TPLP 4 (2004) 573--619 16 http://citeseer.ist.psu.edu/bozzano04model.html More
@misc{ bozzano04model,
author = "M. Bozzano and G. Delzanno and M. Martelli",
title = "Model checking linear logic specifications",
text = "Bozzano, M., Delzanno, G., Martelli, M.: Model checking linear logic specifications.
TPLP 4 (2004) 573--619 16",
year = "2004",
url = "citeseer.ist.psu.edu/bozzano04model.html" }
Citations (may not include all citations):340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1991
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1990
142 Logic Programming with Focusing Proofs in Linear Logic - Andreoli - 1992 DBLP
108 Ordering by divisibility in abstract algebras (context) - Higman - 1952
104 A Meta-notation for Protocol Analysis - Cervesato, Durgin et al. - 1999 ACM DBLP
103 An Algorithm for the General Petri Net Reachability Problem (context) - Mayr - 1984 ACM DBLP
85 Coloured Petri-Nets (context) - Jensen - 1997
82 Semantics Approach: Theory and Applications (context) - Bossi, Gabbrielli et al. - 1994
79 Parallel Program Schemata (context) - Karp, Miller - 1969 DBLP
78 Conditional Rewriting Logic as a Uni ed Model of Concurrency (context) - Meseguer - 1992
71 Undecidability of bounded security protocols - Durgin, Lincoln et al. - 1999
69 Calculus as a Theory in Linear Logic: Preliminary Results (context) - Miller, The - 1992
43 Finiteness of the Odd Perfect and Primitive Abundant Numbers.. (context) - Dickson - 1913
43 Asynchronous Communication Model based on Linear Logic - Kobayashi, Yonezawa - 1995 ACM DBLP
40 Algebraic properties of idempotent substitutions - Palamidessi - 1990 ACM DBLP
33 Type-Theoretic Foundations for Concurrent Object-Oriented Pr.. (context) - Kobayashi, Yonezawa - 1994 DBLP
32 Petri nets as models of linear logic - Engberg, Winskel - 1990 ACM DBLP
31 A Semi-Functional Implementation of a Higher-Order Logic Pro.. - Elliott, Pfenning - 1991
25 the Veri cation of Broadcast Protocols (context) - Esparza, Finkel et al. - 1999
21 Linear Algebraic and Linear Programming Techniques for the A.. (context) - Silva, Teruel et al. - 1998
21 First Order Linear Logic Without Modalities is NEXPTIME-Hard - Lincoln, Scedrov - 1994
20 Representing Objects in a Logic Programming Language with Sc.. - Hodas, Miller - 1990 ACM
19 Forum: A Multiple-Conclusion Speci cation Logic (context) - Miller - 1996
18 Uni cation Revisited (context) - Lassez, Maher et al. - 1988
15 General Decidability Theorems for In nite-State Systems (context) - Abdulla, Cer et al. - 1996
11 From Petri Nets to Linear Logic through Categories: A Survey (context) - Mart-Oliet, Meseguer - 1991
9 Ensuring Completeness of Symbolic Veri cation Methods for In.. (context) - Abdulla, Jonsson - 2001
8 Static Analysis of Linear Logic Programming (context) - Andreoli, Pareschi et al. - 1997 DBLP
7 Deciding provability of linear logic formulas - Lincoln - 1995 ACM
6 Making Logic Programs Reactive - Harland, Winiko - 1998
6 Proofs as Computations in Linear Logic - Delzanno, Martelli - 2001 ACM DBLP
6 A Logic-Based Approach to Model Checking of Parameterized an.. (context) - Marco - 2002
5 Veri cation of safety properties using integer programming: .. (context) - Esparza, Melzer - 2000
5 ective Fixpoint Semantics for Linear Logic Programs (context) - Bozzano, Delzanno et al. - 2002
4 Properties of Substitutions and Uni cations (context) - Eder - 1985
1 Decidability of Linear Ane Logic (context) - Kopylov - 1995
Documents on the same site (http://www.disi.unige.it/person/BozzanoM/publications.html): More
An Effective Fixpoint Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (Correct)
Beyond Parameterized Verification: Automated Verification of .. - Bozzano, Delzanno (Correct)
Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC