2881 search results - page 69 / 577 » Model Checking for Programming Languages using Verisoft |
102
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
117
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
126
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
102
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
203
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...