Search Sciweavers | Sciweavers

26

SIGPLAN
2002

137views System Software» more SIGPLAN 2002»

On-the-fly model checking from interval logic specifications

13 years 7 months ago

Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...

Miguel J. Hornos, Manuel I. Capel

claim paper

Read More »

27

click to vote

FORMATS
2006
Springer

186views Formal Methods» more FORMATS 2006»

Temporal Logic Verification Using Simulation

13 years 11 months ago

Download www.seas.upenn.edu

In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...

Georgios E. Fainekos, Antoine Girard, George J. Pa...

claim paper

Read More »

28

click to vote

TIME
1994
IEEE

141views Automated Reasoning» more TIME 1994»

Belief Revision in a Discrete Temporal Probability-Logic

13 years 11 months ago

Download www2.cs.uregina.ca

We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...

Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...

claim paper

Read More »

25

click to vote

ENTCS
2006

142views more ENTCS 2006»

Specialization of Interaction Protocols in a Temporal Action Logic

13 years 7 months ago

Download www.di.unito.it

Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...

Laura Giordano, Alberto Martelli, Camilla Schwind

claim paper

Read More »

70

click to vote

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

14 years 8 months ago