diff --git a/prism/README.txt b/prism/README.txt index 087b0f4e..8113f52c 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -88,9 +88,9 @@ The core team working on PRISM currently comprises: Many others have contributed to PRISM. In approximately reverse chronological order: + * Vojtech Forejt: "Fox-Glynn" implementation, explicit-state model checking * Christian von Essen: Contributions to explicit-state model checking library * Vincent Nimal: Approximate (simulation-based) model checking techniques - * Vojtech Forejt: "Fox-Glynn" algorithm implementation * Mark Kattenbelt: Wide range of enhancements/additions, especially in the GUI * Carlos Bederian (working with Pedro D'Argenio): Addition of LTL model checking for MDPs to PRISM * Alistair John Strachan: Port to 64-bit architectures diff --git a/prism/src/explicit/DistributionSet.java b/prism/src/explicit/DistributionSet.java index c0b07a4a..cf4ba487 100644 --- a/prism/src/explicit/DistributionSet.java +++ b/prism/src/explicit/DistributionSet.java @@ -3,6 +3,7 @@ // Copyright (c) 2002- // Authors: // * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/explicit/STPGAbstrSimple.java b/prism/src/explicit/STPGAbstrSimple.java index b5f7a701..8c40cc7a 100644 --- a/prism/src/explicit/STPGAbstrSimple.java +++ b/prism/src/explicit/STPGAbstrSimple.java @@ -3,6 +3,7 @@ // Copyright (c) 2002- // Authors: // * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/explicit/STPGModelChecker.java b/prism/src/explicit/STPGModelChecker.java index 2e9c5a92..00d5fb38 100644 --- a/prism/src/explicit/STPGModelChecker.java +++ b/prism/src/explicit/STPGModelChecker.java @@ -3,6 +3,7 @@ // Copyright (c) 2002- // Authors: // * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/explicit/rewards/Rewards.java b/prism/src/explicit/rewards/Rewards.java index 2f239bef..8083d460 100644 --- a/prism/src/explicit/rewards/Rewards.java +++ b/prism/src/explicit/rewards/Rewards.java @@ -1,3 +1,30 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package explicit.rewards; /** diff --git a/prism/src/explicit/rewards/STPGRewards.java b/prism/src/explicit/rewards/STPGRewards.java index cd34b56b..befc46b3 100644 --- a/prism/src/explicit/rewards/STPGRewards.java +++ b/prism/src/explicit/rewards/STPGRewards.java @@ -3,6 +3,7 @@ // Copyright (c) 2002- // Authors: // * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/explicit/rewards/STPGRewardsConstant.java b/prism/src/explicit/rewards/STPGRewardsConstant.java index ca347041..c37107bf 100644 --- a/prism/src/explicit/rewards/STPGRewardsConstant.java +++ b/prism/src/explicit/rewards/STPGRewardsConstant.java @@ -1,3 +1,30 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package explicit.rewards; /** diff --git a/prism/src/explicit/rewards/STPGRewardsSimple.java b/prism/src/explicit/rewards/STPGRewardsSimple.java index 2151f229..e16dedfb 100644 --- a/prism/src/explicit/rewards/STPGRewardsSimple.java +++ b/prism/src/explicit/rewards/STPGRewardsSimple.java @@ -1,3 +1,30 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package explicit.rewards; import java.util.ArrayList; diff --git a/prism/src/explicit/rewards/StateTransitionRewardsSimple.java b/prism/src/explicit/rewards/StateTransitionRewardsSimple.java index b2284362..1f8fc37a 100644 --- a/prism/src/explicit/rewards/StateTransitionRewardsSimple.java +++ b/prism/src/explicit/rewards/StateTransitionRewardsSimple.java @@ -1,3 +1,30 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// * Vojtech Forejt (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package explicit.rewards; import java.util.ArrayList;