- The following are the NuSMV code files for the case study presented in the ATVA'07 paper which does model checking of a part of the contract listed in the file.
README
C1.smv
C2.smv
-
The following are code files for the CiME tool which encode the specification of the term rewriting system associated to the axioms of the algebra of actions defined in the AMAST'08 paper. The CiME tool is used to prove the termination and confluence of the term rewriting system, and thus the existence of a normal form of any action.
amast_CA_alg_TRS.cim
amast_CA_alg_TRS_nocomments.cim
NEWS
5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11) Malaga, Spain, September 22-23, 2011
Cristian Prisacariu - has his PhD Lecture on the 8th of December 2010, titled "A Dynamic Deontic Logic over Synchronous Actions"
Joseph C. Okika - has his PhD lecture on the 10th of June 2010, titled "Analysis and Verification of Service Contracts"
Project meeting in Oslo, in June 22-23 2010.
4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (co-located with SEFM'10) (FLACOS'10), Pisa, Italy, September 17-18, 2010. -- Deadline for submissions: April 29, 2010
6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM'08), Cape Town, South Africa, 10-14 November 2008. -- Deadline for submissions: 31 May 2008
28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08), Tokyo, Japan, 10-13 June 2008.
8th Workshop on Runtime Verification (RV'08), Budapest, Hungary, 30 March 2008
5th Workshop on Methods for Modalities (M4M-5), Paris, France, 29-30 November 2007
"10 Years of Verification in Cachan", Paris, France, 26-27 November 2007
1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07), Oslo, Norway, 09-10 October 2007
The 19th Nordic Workshop on Programming Theory (NWPT'07), Oslo, Norway, 10-12 October, 2007.
Cristian Prisacariu - has his PhD Lecture on the 8th of December 2010, titled "A Dynamic Deontic Logic over Synchronous Actions"
Joseph C. Okika - has his PhD lecture on the 10th of June 2010, titled "Analysis and Verification of Service Contracts"
Project meeting in Oslo, in June 22-23 2010.
4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (co-located with SEFM'10) (FLACOS'10), Pisa, Italy, September 17-18, 2010. -- Deadline for submissions: April 29, 2010
6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM'08), Cape Town, South Africa, 10-14 November 2008. -- Deadline for submissions: 31 May 2008
28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08), Tokyo, Japan, 10-13 June 2008.
8th Workshop on Runtime Verification (RV'08), Budapest, Hungary, 30 March 2008
5th Workshop on Methods for Modalities (M4M-5), Paris, France, 29-30 November 2007
"10 Years of Verification in Cachan", Paris, France, 26-27 November 2007
1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07), Oslo, Norway, 09-10 October 2007
The 19th Nordic Workshop on Programming Theory (NWPT'07), Oslo, Norway, 10-12 October, 2007.