Verification Requirements

**Verification Requirements** is a set of procedural rules in civil pleading that specify when and how a party must formally attest, typically by oath or affirmation, to the truthfulness of factual allegations in a pleading, including the prescribed form, content, and authentication of the verifying statement.

Publications

1.8K

Citations

112

Authors

Institutions

Publications per year

2017–2026

Parents

Pleading

Children

Amendment Of Verified PleadingsBelief VerificationConsequences Of NonverificationCuring Verification DefectsFalse VerificationPersonal Knowledge RequirementPleading Verification ExceptionsSworn PleadingsVerification AffidavitsVerification By Counsel

Publications

What can you verify and enforce at runtime?

Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier · International Journal on Software Tools for Technology Transfer · 2011 · 152 citations · Full text

Computing, Computer Science, Systems Engineering +10

Verifying Compliance with Commitment Protocols

M. Venkatraman, Munindar P. Singh · Autonomous Agents and Multi-Agent Systems · 1999 · 131 citations

Computing, Contract Law, Formal Methods +11

Tweet, but verify: epistemic study of information verification on Twitter

Arkaitz Zubiaga, Heng Ji · Social Network Analysis and Mining · 2014 · 128 citations

Humanities, Information Systems, Epistemology +12

Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review

Alireza Souri, Nima Jafari Navimipour, Amir Masoud Rahmani · Computer Standards & Interfaces · 2017 · 107 citations

Computing, Cloud Computing, Computer Science +16

Verifying UML/OCL models using Boolean satisfiability

Mathias Soeken, Robert Wille, Mirco Kuhlmann et al. · 2010 · 102 citations

Computing, Computer Science, Formal Methods +16

1–5 of 46

Authors

112

MK
Mirco Kuhlmann
University of Bremen, Germany
2 publications · 185 citations
2
h-index
RP
Rajendra P. Srivastava
University of Kansas, United States
2 publications · 102 citations
2
h-index
PC
Patrice Chalin
Concordia University, Canada
2 publications · 30 citations
2
h-index
RD
Rolf Drechsler
University of Bremen, Germany
2 publications · 185 citations
2
h-index
MG
Martin Gogolla
University of Bremen, Germany
2 publications · 185 citations
2
h-index

1–5 of 112

Institutions

1–8 of 56

Venues

IEEE Transactions on Software Engineering
TSE · 2 publications · 87 citations
2
h-index
International Journal on Software Tools for Technology Transfer
2 publications · 194 citations
2
h-index
arXiv (Cornell University)
Repository · 2 publications · 117 citations
2
h-index
Computer Standards & Interfaces
1 publications · 107 citations
1
h-index
CSIRO
Repository · 1 publications · 25 citations
1
h-index

1–5