247
click to vote
FORMATS
15 years 11 months ago
2004 Springer 
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
245
click to vote
FMCO
16 years 29 days ago
2004 Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
245
click to vote
IFM
16 years 28 days ago
2004 Springer 
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
243
click to vote
AFP
16 years 29 days ago
2004 Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
233
click to vote
FMCAD
16 years 29 days ago
2004 Springer 
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
|
Formal Methods