Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

77 items matching your criteria

Sort by:
Filter By:
Subject: D.2.4 - Software/Program Verification
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3 4 5
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
Modular Verification of a Component-Based Actor Language
Marjan Sirjani, Frank De Boer, Ali Movaghar
10.3217/jucs-011-10-1695
 28-10-2005
 Unique: 330 | Total: 396  | Access Period:
 1695-1717
HTML
XML
PDF
Research Article
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank De Boer
10.3217/jucs-011-06-1054
 28-06-2005
 Unique: 421 | Total: 488  | Access Period:
 1054-1082
HTML
XML
PDF
Research Article
Automated Support for Enterprise Information Systems
John Andrew Andrew Van Der Poll, Paula Kotzé, Willem Labuschagne
10.3217/jucs-010-11-1519
 28-11-2004
 Unique: 367 | Total: 492  | Access Period:
 1519-1539
HTML
XML
PDF
Research Article
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking
Miguel Hornos
10.3217/jucs-010-11-1498
 28-11-2004
 Unique: 351 | Total: 400  | Access Period:
 1498-1518
HTML
XML
PDF
Research Article
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
Doron Drusinsky, Man-Tak Shing
10.3217/jucs-009-11-1261
 28-11-2003
 Unique: 351 | Total: 438  | Access Period:
 1261-1276
HTML
XML
PDF
Research Article
Alias Verification for Fortran Code Optimization
Thi Viet Nga Nguyen, Francois Irigoin
10.3217/jucs-009-03-0270
 28-03-2003
 Unique: 311 | Total: 368  | Access Period:
 270-297
HTML
XML
PDF
Research Article
VOC: A Methodology for the Translation Validation of OptimizingCompilers
Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
10.3217/jucs-009-03-0223
 28-03-2003
 Unique: 393 | Total: 466  | Access Period:
 223-247
HTML
XML
PDF
Research Article
Using Program Checking to Ensure the Correctness of Compiler Implementations
Sabine Glesner
10.3217/jucs-009-03-0191
 28-03-2003
 Unique: 347 | Total: 413  | Access Period:
 191-222
HTML
XML
PDF
Research Article
HOL-Z 2.0: A Proof Environment for Z-Specifications
Achim Brucker, Frank Rittinger, Burkhart Wolff
10.3217/jucs-009-02-0152
 28-02-2003
 Unique: 399 | Total: 481  | Access Period:
 152-172
HTML
XML
PDF
Research Article
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
Robi Malik, Reinhard Mühlfeld
10.3217/jucs-009-02-0138
 28-02-2003
 Unique: 359 | Total: 441  | Access Period:
 138-151
HTML
XML
PDF
Research Article
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
Ernst-Rüdiger Olderog, Henning Dierks
10.3217/jucs-009-02-0088
 28-02-2003
 Unique: 361 | Total: 404  | Access Period:
 88-105
HTML
XML
PDF
Research Article
A Framework for Semantics of UML Sequence Diagrams in PVS
Demissie Aredo
10.3217/jucs-008-07-0674
 28-07-2002
 Unique: 291 | Total: 332  | Access Period:
 674-697
HTML
XML
PDF
1 2 3 4 5
Right Arrow

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK