199 search results - page 11 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
143
click to vote
TABLEAUX
1998
Springer
15 years 6 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
106
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
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...
130
Voted
ENTCS
2007
15 years 1 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
100
click to vote
FSEN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...