Concepedia

A quantitative verification framework of SysML activity diagrams under time constraints

Abdelhakim Baouya, Djamal Bennouar, Otmane Aı̈t Mohamed, Samir Ouchani

Expert Systems with Applications · 2015 · 14 citations · 31 references

DOIFull text

Open access

Concepts

References

31

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

, , +15

Communicating sequential processes

Microprocessors and Microsystems · 1986 · 2.2K citations

, , +8

Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

Pierre Castéran, Yves Bertot · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 1.1K citations

Symbolic model checking: an approach to the state explosion problem

Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 1992 · 980 citations

A Practical Guide to SysML: The Systems Modeling Language

C.J.H. Mann · Kybernetes · 2009 · 926 citations

, , +9