2881 search results - page 114 / 577 » Model Checking for Programming Languages using Verisoft |
127
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
122
Voted
CACM
1998
15 years 2 months ago
1998
Abstract. The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platformindependent way to render dynamic, interactive 3D scenes across the Int...
113
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
114
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
114
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...