Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,215,032 papers from all fields of science
Search
Sign In
Create Free Account
Formal verification
Known as:
Verifiable
, Formal
, Verifiability
Expand
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ACM Turing Award
Alphard (programming language)
Application-specific integrated circuit
Arvind (computer scientist)
Expand
Broader (2)
Formal methods
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Rotation-based privacy-preserving data aggregation in wireless sensor networks
Xiaoying Zhang
,
Hong Chen
,
Ke Wang
,
Hui Peng
,
Yongjian Fan
,
Deying Li
IEEE International Conference on Communications…
2014
Corpus ID: 15265615
Wireless Sensor Network is an important part of the Internet of Things. Data privacy preservation in wireless sensor networks is…
Expand
2012
2012
Notes towards the scientific study of public communication on Twitter
A. Bruns
,
J. Burgess
2012
Corpus ID: 54832915
Twitter is now well-established as an important platform for real-time public communication. Twitter research continues to lag…
Expand
2012
2012
The African Symposium: An online journal of the African Educational Research Network
R. Waldo
2012
Corpus ID: 5953528
This paper critically explores the centrality of intertextuality in the production and appreciation of Chinua Achebe’s fiction…
Expand
2009
2009
Editorial: Ethics, New Media, and Social Networks
S. Ward
,
Mahmoud Eid
2009
Corpus ID: 149067967
The last two decades have witnessed a rapid transformation of traditional media into new media that encompasses digital…
Expand
Highly Cited
2004
Highly Cited
2004
Can we contain Internet worms
M. Costa
,
J. Crowcroft
,
Miguel Castro
,
A. Rowstron
2004
Corpus ID: 8391329
Worm containment must be automatic because worms can spread too fast for humans to respond. Recent work has proposed a network…
Expand
2002
2002
AN ADAPTIVE SPEAKER VERIFICATION SYSTE PRIORI DECISION THR
Nikki Mirghafori
,
Larry Heck
2002
Corpus ID: 17706484
This paper presents a practical approach to deploying a priori speaker dependent thresholds (SDT) for adaptive speaker…
Expand
2000
2000
A direct mapping FPGA architecture for industrial process control applications
John T. Welch
,
J. Carletta
Proceedings International Conference on Computer…
2000
Corpus ID: 1710892
Industrial process control is an untapped market for field programmable gate arrays (FPGAs). Programs used for industrial process…
Expand
1999
1999
Formal verification of an advanced pipelined machine
J. Sawada
,
W. Hunt
,
D. Fussell
1999
Corpus ID: 60555280
The objective in this dissertation is to demonstrate that we can formally verify the correctness of a microprocessor with complex…
Expand
1995
1995
Realization of autonomous decentralized computing with the RTO.k object structuring scheme and the HU-DF inter-process-group communication scheme
K. Kim
,
K. Mori
,
H. Nakanishi
Proceedings ISADS 95. Second International…
1995
Corpus ID: 16379286
The autonomy of various subsystems in complex real-time distributed computer systems is a highly desired attribute. Highly…
Expand
1973
1973
Dynamic verification of operating system decisions
R. S. Fabry
CACM
1973
Corpus ID: 14689700
Dynamic verification of a decision implies that every time the decision is made there is a consistency check performed on the…
Expand