10.1007/978-3-642-24559-6_9Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6991 LNCS98-11
Associated research group: Critical Systems Research GroupThis paper describes a design flow and sup...
We present a sound verification approach for verifying input/output properties of programs. Our appr...
The automatic orchestration problem is that of assigning instruments or sounds to the notes of an un...
Abstract. Orc is a computation orchestration language which is designed to specify computational ser...
10.1007/978-3-642-32759-9_24Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
This thesis expands the usage of partial order reduction methods in reducing the state space of larg...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
AbstractThe purpose of this paper is to present and illustrate a new compositional proof method for ...
Partial order reduction is a state space pruning approach that has been originally introduced in com...
10.1007/978-3-540-70545-1_34Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-35873-9_30Lecture Notes in Computer Science (including subseries Lecture Notes in ...
The following full text is a publisher's version. For additional information about this publica...
Abstract—This paper explores verification of constituent sys-tems within the context of the Symphony...
ion, and Compositional Verification David E. Long July 1993 Submitted in partial fulfillment of the ...
Associated research group: Critical Systems Research GroupThis paper describes a design flow and sup...
We present a sound verification approach for verifying input/output properties of programs. Our appr...
The automatic orchestration problem is that of assigning instruments or sounds to the notes of an un...
Abstract. Orc is a computation orchestration language which is designed to specify computational ser...
10.1007/978-3-642-32759-9_24Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
This thesis expands the usage of partial order reduction methods in reducing the state space of larg...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
AbstractThe purpose of this paper is to present and illustrate a new compositional proof method for ...
Partial order reduction is a state space pruning approach that has been originally introduced in com...
10.1007/978-3-540-70545-1_34Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-35873-9_30Lecture Notes in Computer Science (including subseries Lecture Notes in ...
The following full text is a publisher's version. For additional information about this publica...
Abstract—This paper explores verification of constituent sys-tems within the context of the Symphony...
ion, and Compositional Verification David E. Long July 1993 Submitted in partial fulfillment of the ...
Associated research group: Critical Systems Research GroupThis paper describes a design flow and sup...
We present a sound verification approach for verifying input/output properties of programs. Our appr...
The automatic orchestration problem is that of assigning instruments or sounds to the notes of an un...
DOI
Add to ORKG