Search Results

Specification and analysis of legal contracts with Symboleo.

• Authors : Parvizimosaed, Alireza¹ (AUTHOR); Sharifi, Sepehr¹ (AUTHOR); Amyot, Daniel¹ (AUTHOR)

• Source: Software & Systems Modeling. Dec2022, Vol. 21 Issue 6, p2395-2427. 33p.

Record details

Exploring Architectural Model Checking with Declarative Specifications

• Authors : Asteasuain, Fernando; Tarulla, Francisco

Subjects: Ciencias Informáticas; Software Architectures; Model checking

Record details

Specifying and analyzing early requirements in Tropos.

• Authors : Fuxman, Ariel¹; Lin Liu¹; Mylopoulos, John¹

• Source: Requirements Engineering. May2004, Vol. 9 Issue 2, p132-150. 19p.

Record details

Specifying and Analyzing Early Requirements in Tropos

• Authors : Ariel Fuxman; Lin Liu; John Mylopoulos ...

Subjects: Early Requirements Specifications; Formal Methods; Model Checking

• Source: http://dit.unitn.it/~tropos/papers_files/JRE03.pdf.

Record details

On Model Checking Techniques for Randomized Distributed Systems

• Authors : Baier, Christel;

Subjects: model checking; randomized distributed system; Markov decision processNancy; France

• Source: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524630 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.1-11

Record details

A framework for quantitative modeling and analysis of highly (re)configurable systems

• Authors : Ter Beek, Maurice H.; Legay, Axel; Lluch Lafuente, Alberto

Subjects: Configurable systems; Software product lines; Variability

• Source: arXiv:1707.08411v1 [cs.SE]. Technical report, 2017.

Record details

Symbolic Model Checking of UML Activity Diagrams

• Authors : Rik Eshuis; The Pennsylvania State University CiteSeerX Archives

Subjects: Categories and Subject Descriptors; D.2.2 [Software Engineering; Design Tools and Techniques—State diagrams

• Source: http://www.utdallas.edu/~htj041000/phd/Symbolic_Model_Checking.pdf.

Record details

A collection of models of a bike-sharing case study

• Authors : Ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania

Subjects: Bike-sharing systems; Tool chain; Variability analysis

• Source: QUANTICOL TR-QC-07-2014. Technical report, 2014.

Record details

Multi-Valued Symbolic Model-Checking

• Authors : Marsha Chechik; Benet Devereux; Steve Easterbrook ...

Subjects: Categories and Subject Descriptors; D.2.4 [Software Engineering; Software/Program Verification—Formal met hods

• Source: http://www.cs.toronto.edu/~sme/papers/2003/TOSEM-mvmodelchecking.pdf.

Record details

SymboleoPC: checking properties of legal contracts.

• Authors : Parvizimosaed, Alireza¹ (AUTHOR) ; Roveri, Marco² (AUTHOR) ; Rasti, Aidin¹ (AUTHOR)

• Source: Software & Systems Modeling. Aug2025, Vol. 24 Issue 4, p1093-1126. 34p.

Record details