1809 search results - page 134 / 362 » Software Model Checking Using Linear Constraints |
129
Voted
FMSD
2002
15 years 1 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
120
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
122
click to vote
IGPL
2007
15 years 2 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
100
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
103
Voted
FAC
2008
15 years 2 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...